Formal methods and software engineering :
Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. proceedings /
edited by Jin Song Dong and Huibiao Zhu
- New York : Springer, c2010.
- xiv, 709 p. : ill. ; 23 cm.
- Lecture notes in computer science ; 6447 .
9783642169007
Formal methods
Computer science
Congresses
QA76.9 / .F67 2010
9783642169007
Formal methods
Computer science
Congresses
QA76.9 / .F67 2010