TY  - BOOK
AU  - Hutter, D.: (et-al)
TI  - Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science
SN  - 0003540664629
U1  - 005.12 
PB  - Springer: Tokyo
KW  - Formal Methods
ER  -