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 / 
edited by Lubos Brim ... [et al. 
 - x, 361 pages :  illustrations ;  24 cm. 
 - Lecture notes in computer science ;  4346 .
<br/><br/><label>ISBN: </label>9783540709510 3540709517 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science) --Congresses.<br/>Software engineering --Congresses.<br/>Computer programs --Verification --Congresses.<br/>Computer programs --Reliability --Congresses.
<br/><br/><label>LC Class. No.: </label>QA76.9.F67   / .F67 2007