Beckert, B.
Verification of object-oriented software: The KeY approach - Berlin, Heidelberg Springer-Verlag 2007 - xxix, 658p. - Lecture notes in artificial intelligence, 4334 .
978-3-540-68977-5
Verification of object-oriented software: The KeY approach - Berlin, Heidelberg Springer-Verlag 2007 - xxix, 658p. - Lecture notes in artificial intelligence, 4334 .
978-3-540-68977-5