Berard, B. <br/><br/>
Systems and software verification  Model-Checking Techniques and Tools 
by B Berard, et al 
 - Berlin  Springer  2001 
 - xii, 190p. 
<br/><br/><label>ISBN: </label>9783540415237 
<br/><br/><label>Dewey Class. No.: </label>005.3  / P015;1