GERARD O'REGAN <br/><br/>
RIGOROUS SOFTWARE DEVELOPMENT INTRODUCTION TO PROGARM VERIFICATION 

 - LONDON  SPRINGER 
 - 246 
<br/><br/><label>ISBN: </label>9780857291714 
<br/><br/><label>Dewey Class. No.: </label>005.1 REG