TY  - BOOK
AU  - Workshop on "Logics of Programs", Yorktown Heights, New York, May 4-6, 1981
AU  - Kozen, Dexter ; ed.
TI  - Logics of programs; papers
U1  - 518.542 
PY  - 1982///
CY  - Berlin
PB  - Springer-Verlag
ER  -