TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2014
Anzahl der Einträge: 1.
2014
Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Konferenzveröffentlichung, Bibliographie