Formal methods :  state of the art and new directions / 
Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors 
 - New York :  Springer,  2010 
 - xxiii, 273 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9781848827356 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)