TY  - BOOK
AU  - Grieskamp, W. (et-al)(Eds.)
TI  - Integrated formal methods : Lecture notes in computer science : Proceedings
SN  - 0003540411966
U1  - 005.12 
PB  - Springer: Tokyo
KW  - formal methods
ER  -