TY  - BOOK
AU  - Dong,Jin Song
AU  - Zhu,Huibiao
TI  - Formal methods and software engineering: 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. proceedings 
T2  - Lecture notes in computer science ; 6447
SN  - 9783642169007
AV  - QA76.9 .F67 2010
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Formal methods
KW  - Computer science
KW  - Congresses
ER  -