TY  - BOOK
AU  - Liu,Zhiming
AU  - He,Jifeng
ED  - International Conference on Formal Engineering Methods
TI  - Formal methods and software engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings 
SN  - 3540474609
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
ER  -