Berard, B.. , <br/><br/>
Systems and software verification :  model-checking techniques and tools / 
B. Berard. 
 - xii, 190 pages :  illustrations ;  24 cm. 
<br/><br/><label>ISBN: </label>3540415238 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems --Verification.<br/>Computer software --Verification.
<br/><br/><label>LC Class. No.: </label>QA76.76 .V47   / .B47 2001