dblp.uni-trier.de www.uni-trier.de

Logics of Programs 1979: Zürich, Switzerland

Erwin Engeler (Ed.): Logics of Programs, Workshop, ETH Zürich, May-July 1979. Lecture Notes in Computer Science 125 Springer 1981, ISBN 3-540-11160-3 BibTeX

Copyright © Sat May 16 23:28:56 2009 by Michael Ley (ley@uni-trier.de)