TY  - BOOK
AU  - Clarke,Edmund
AU  - Kozen,Dexter
ED  - Logics of Programs Workshop
TI  - Logics of programs: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 
AV  - QA76.6 L595
PY  - 1984///
CY  - Berlin
PB  - Springer Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
N1  - Proceedings of the Logics of Programs Workshop
ER  -