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

Logics of Programs 1981: Yorktown Heights, NY, USA

Dexter Kozen (Ed.): Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Lecture Notes in Computer Science 131 Springer 1982, ISBN 3-540-11212-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:57:15 2009 by Michael Ley (ley@uni-trier.de)