TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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

A Visual Interactive Debugger Based on Symbolic Execution.
Proc. 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium ACM Press
[Konferenz- oder Workshop-Beitrag], (2010)

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. ACM
[Konferenz- oder Workshop-Beitrag], (2010)

Baum, Marcus :
Faksimile-Abtaster in Mausform.
Technische Universität Darmstadt
[Haus-, Projekt- oder Studienarbeit], (1987)

Diese Liste wurde am Tue Jul 17 02:40:02 2018 CEST generiert.