TY  - BOOK
AU  - Siegler,Simon.
AU  - Wasser, Nathan
TI  - Verification, induction, termination analysis: festschrift for christoph walther on the occasion of his 60th birthday 
T2  - Lecture notes in artificial intelligence
SN  - 9783642171710
U1  - 515 22
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Verification, induction
N1  - includes index
ER  -