TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | 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
[Konferenz- oder Workshop-Beitrag] , (2010)

Diese Liste wurde am Tue Jan 22 03:41:17 2019 CET generiert.