Simon Siegler, Nathan Wasser Verification, Induction, Termination Analysis - 2010 ISBN: 978-3-642-17172-7 Subjects--Topical Terms: Computer Communication NetworksLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware EngineeringSoftware Engineering/Programming and Operating SystemsComputer Science