Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463)

Termination

von: Simon Siegler · Nathan Wasser

Taschenbuch

ISBN-13: 978-3-642-17171-0

ISBN-10: 3-642-17171-0

Springer · 2010