B. Berard <br/><br/>
Systems and software verification: Model checking techniques and tools 
B. Berard 
 - Berlin.  Springer,  1998. 
 - xii, 190p.:  ill.;  24cm. 
<br/><br/><label>ISBN: </label>9783642074783 
<br/><br/><label>Dewey Class. No.: </label>005.14