TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (eds.) :

A Visual Interactive Debugger Based on Symbolic Execution.
[Online-Edition: http://doi.acm.org/10.1145/1858996.1859022]
In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, September 20-24, 2010, Antwerp, Belgium. ACM
[ Konferenzveröffentlichung] , (2010)

Diese Liste wurde am Sat Mar 23 02:31:39 2019 CET generiert.