FM 2006 : formal methods :  14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / 
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) 
 - Berlin :  Springer,  2006 
 - 620 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science ;  4085 .
<br/><br/><label>ISBN: </label>3540372156 9783540372158 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development--Congresses<br/>Formal methods (Computer science)--Congresses<br/>System design--Mathematics--Congresses