Computer aided verification :  proceedings / 
Ahmed Bouajjani, Oded Maler (eds.). 
 - Berlin ;  New York :  Springer,  2009. 
 - xv, 722 p. :  il. ;  24 cm. 
 - Lecture notes in computer science ;  v. 5643 LNCS ;  v. 5643 .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9783642026577  
<br/><br/><label>Descriptores--Materias: </label><br/>Logics and meanings of programs.<br/>Program verification.<br/>Tools and techniques.<br/>Mathematical logic.<br/>Deducton and theorem proving.<br/>Design aids.<br/>Special-purpose and application-based systems.