TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Englisch
Anzahl der Einträge: 1.

Englisch

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Hrsg.: Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (2010)
A Visual Interactive Debugger Based on Symbolic Execution.
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Antwerp, Belgium (September 20-24, 2010)
doi: 10.1145/1858996.1859022
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:09:57 2024 CET generiert.