Verification, Induction, Termination Analysis
Subtitle: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
By: edited by Simon Siegler, Nathan Wasser
Contributors: Wasser, Nathan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6463
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642171710; 9783642171727
Subjects: Logic design; Information systems; Computer science; Software engineering; Computer networks; Artificial intelligence