Formal methods :  applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / 
Luboš Brim ... [et al.] 
 - New York :  Springer,  2007 
 - x, 361 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9783540709510 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses<br/>Software engineering--Congresses<br/>Computer programs--Verification--Congresses