Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner H�hnle, Peter H. Schmitt
Verification of Object-Oriented Software. The KeY Approach - 2007
978-3-540-69061-0
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Verification of Object-Oriented Software. The KeY Approach - 2007
978-3-540-69061-0
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science