Beckert, B. <br/><br/>
Verification of object-oriented software: The KeY approach 

 - Berlin, Heidelberg  Springer-Verlag  2007 
 - xxix, 658p. 
 - Lecture notes in artificial intelligence, 4334 .
<br/><br/><label>ISBN: </label>978-3-540-68977-5