TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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

Diese Liste wurde am Tue Mar 26 03:42:58 2024 CET generiert.