TY  - BOOK
AU  - Oliveira, J.N. : Zave, Pam(Eds)
TI  - FME 2001 Formal Methods for increasing  software productivity :Lecture notes in computer science:Proceedings
SN  - 0003540417915
U1  - 005.12 
PB  - Springer: Tokyo
KW  - formal methods
ER  -