TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

An empirical evaluation of two user interfaces of an interactive program verifier.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag] , (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

The interactive verification debugger: effective understanding of interactive proof attempts.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag] , (2016)

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz :
Reducing Configurations to Monitor in a Software Product Line.
[Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf]
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[Konferenz- oder Workshop-Beitrag] , (2010)

Diese Liste wurde am Tue Jan 15 03:40:59 2019 CET generiert.