Verification, Induction, Termination Analysis [E-Book] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
Siegler, Simon.
Wasser, Nathan.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
online resource
9783642171727
Lecture notes in computer science ; 6463
Full Text
Description not available.