TY  - BOOK
AU  - Misra,Jayadev
AU  - Nipkow,Tobias
AU  - Sekerinski,Emil
ED  - International Symposium of Formal Methods Europe
TI  - FM 2006 : formal methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings 
SN  - 3540372156
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - System design
KW  - Mathematics
ER  -