TY  - BOOK
AU  - Parikh,Rohit
TI  - Logics of programs: Brooklyn, June 17-19, 1985 : proceedings 
AV  - QA76.6 L5855
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Computer programs
N1  - Papers presented at a conference held at Brooklyn College, June 17-19, 1985
ER  -