TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2007
Anzahl der Einträge: 1.
2007
Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Tews, Hendrik (2007)
Deductive Verifiction of C Programs with KeY-C.
Konferenzveröffentlichung, Bibliographie