Bérard, Béatrice <br/><br/>
Systems and Software Verification: model-checking techniques and tools 
by B. Berard 
 - Berlin ; New York  Springer Verlag, Netherlands  2001 
 - xii, 190p. 
<br/><br/><p><strong>Table of Contents:</strong>< 
<br/><br/><label>ISBN: </label>9783540415237 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Verification<br/>Computer systems - Verification
<br/><br/><label>Dewey Class. No.: </label>005.1 BER