TY  - BOOK
AU  - Bjorner Dines
TI  - Formal methods in programming and their applications
U1  - 005.1 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
KW  - Formal methods
N1  - Proceedings of an International Conference held in russia in 1993
ER  -