Schumann, Johann M <br/><br/>
Automated theorem proving in software engineering 

 - Berlin:  Springer,  2001 
 - xiv, 228 p. : ill. ; 24 cm 
<br/><br/><label>ISBN: </label>3540679898 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>005.1 SCH