Müller-Olm, Markus <br/><br/>
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction 
Markus Müller-Olm 
 - Berlin  Springer  c1997 
 - xii, 250 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [239]-243) and index 
<br/><br/><label>ISBN: </label>9783540634065 
<br/><br/><label>ISSN: </label>97013428 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers - Computer programs<br/>Computer software - Verification
<br/><br/><label>Dewey Class. No.: </label>005.453 MUL