Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Seidl, Martina ; Tillmann, Nikolai (2014)
Visualizing Unbounded Symbolic Execution.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum