TY  - BOOK
AU  - Lau,Kung-Kiu
AU  - Banach,Richard
ED  - International Conference on Formal Engineering Methods
TI  - Formal methods and software engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings 
SN  - 3540297979
PY  - 2005///
CY  - Berlin
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
ER  -