Verification, induction, termination analysis : festschrift for christoph walther on the occasion of his 60th birthday /
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 .
includes index.
9783642171710 3642171710
Verification, induction.
515 / V E I
includes index.
9783642171710 3642171710
Verification, induction.
515 / V E I