Safonov, Vladimir O. <br/><br/>
Trustworthy compilers / 
Vladimir O. Safonov. 
 - Hoboken, N.J. :  John Wiley & Sons,  c2010. 
 - xx, 295 p. :  ill. ;  25 cm. 
 - Wiley series on quantitative software engineering .
 - Quantitative software engineering series. .
<br/><br/> lncludes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>9780470500958 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs)<br/>Interpreters (Computer programs)