Formal methods and software engineering :  8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / 
Zhiming Liu, Jifeng He (eds.) 
 - Berlin :  Springer,  2006 
 - 626 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science;  2495 .
<br/><br/><label>ISBN: </label>3540474609 9783540474609 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses<br/>Software engineering--Congresses