Robert Geisler;Marcus Klar;Felix Cornelius
-;-;-
Taclets and the KeY Prover
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of object-oriented software: The KeY approach