Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Hrsg.: Bonacina, Maria Paola (2013)
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Buchkapitel, Bibliographie
Drucken
Impressum