SCHUMANN, J.M. <br/><br/>
AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING 

 - NEW YORK  Springer  2001 
 - xiv+228p.,24X16Cms. 
<br/><br/><label>ISBN: </label>3540679898 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 S392