TY  - BOOK
AU  - Parikh Rohit Ed.
ED  - Conference on logics of programs (1985 : Brooklyn)
TI  - Proceeding on logics of programs
T2  - Lecture notes in computer science; 193
U1  - B288, M5 
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Statistics
ER  -