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 .
<br/><br/><label>ISBN: </label>9783642169007 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods<br/>Computer science<br/>Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9  / .F67 2010