Garoche, Pierre-Loļc,  1982 <br/><br/>
Formal verification of control system software/ 
Pierre-Loļic Garoche. 
 - viii, 219 pages:  illustrations;  24 cm. 
 - Princeton series in applied mathematics .
 - Princeton series in applied mathematics .
<br/><br/><label>ISBN: </label>9780691181301 0691181306 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic control.<br/>Computer software.
<br/><br/><label>Dewey Class. No.: </label>005.12  / G237f