Industrial used of formal method :  formal verification / 
edited by Jean-Louis Boulanger 
 - Hoboken, NJ :  Wiley,  2012 
 - xv, 298 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781848213630 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems engineering--Data processing<br/>Computer simulation<br/>Formal methods (Computer science)<br/>Nondestructive testing<br/>Computer software--Verification