Berard, B <br/><br/>
Systems and software verification: model-checking techniques and tools 

 - New York  Springer  2001 
 - 202 
<br/><br/><label>ISBN: </label>9783540415237 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE AND ENGINEERING
<br/><br/><label>Dewey Class. No.: </label>005.3 BER/BID