Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
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