TY  - BOOK
AU  - Andrzej Salwicki
ED  - Symposium on Logics of Programs and Their Applications( 1980 : Poland )
ED  - Symposium on Logics of Programs and Their Applications
TI  - Logics of programs and their applications : proceedings
U1  - 5.131 
PY  - 1983///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Programming logic
ER  -