Verification, induction, termination analysis :  festschrift for christoph walther on the occasion of his 60th birthday / 
[edited by] Simon Siegler, Nathan Wasser. 
 - 1st ed. 
 - New York :  Springer,  2010. 
 - 143 p.:  ill, ;  24 cm. 
 - Lecture notes in artificial intelligence ;  6463 .
<br/><br/> includes index. 
<br/><br/><label>ISBN: </label>9783642171710 3642171710 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Verification, induction.
<br/><br/><label>Dewey Class. No.: </label>515  / V E I