Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
Verification, Induction, Termination Analysis - 2010
978-3-642-17172-7
Computer Communication Networks
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Software Engineering/Programming and Operating Systems
Computer Science
Verification, Induction, Termination Analysis - 2010
978-3-642-17172-7
Computer Communication Networks
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Software Engineering/Programming and Operating Systems
Computer Science