Loeckx, Jacques . <br/><br/>
Foundation of program verification /   Textual Documents 
Jacques Loeckx. 
 - New Jersey :   John Wiley & Sons ,   1983. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Program verification 
<br/><br/><label>Dewey Class. No.: </label>005.14  / LOE