Formal methods and software engineering :  7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / 
edited by Kung-Kiu Lau, Richard Banach 
 - Berlin :  Springer,  2005 
 - 496 p. :  ill. ;  24 cm 
 - Lecture notes in computer science .
<br/><br/><label>ISBN: </label>3540297979 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses<br/>Software engineering--Congresses