Search for persons
X
?
Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives ,
1
A Short History of KeY:
, In:
?
Fields of Logic and Computation III; Lecture Notes in Computer Science ,
2
Two First-Order Theories of Ordinals:
, In:
?
4
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Lecture Notes in Computer Science ; 4334
?
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems ,
5
Provably correct loops bounds for realtime Java programs:
, In:
?
Informatik aktuell; Informatik 2000 ,
8
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints:
, In:
?
9
Implementing semantic tableaux
Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 96,12
?
10
Proving WAM compiler correctness
[Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 94,33]
?
15
Theorie der logischen Programmierung
Eine elementare Einführung
Springer eBook Collection, Computer Science and Engineering