Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 2.
Deutsch
Wallenburg, Angela
Hrsg.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Buchkapitel, Bibliographie
Hähnle, Reiner ; Wallenburg, Angela
Hrsg.: Petrenko, Alex ; Ulrich, Andreas (2003)
Using a software testing technique to improve theorem proving.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum