TU Darmstadt / ULB / TUbiblio

The interactive verification debugger: effective understanding of interactive proof attempts

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Lo, David and Apel, Sven and Khurshid, Sarfraz (eds.) (2016):
The interactive verification debugger: effective understanding of interactive proof attempts.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pp. 846-851, DOI: 10.1145/2970276.2970292,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Lo, David and Apel, Sven and Khurshid, Sarfraz
Creators: Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Title: The interactive verification debugger: effective understanding of interactive proof attempts
Language: German
Publisher: ACM
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016
Date Deposited: 27 Apr 2018 10:00
DOI: 10.1145/2970276.2970292
Official URL: http://doi.acm.org/10.1145/2970276.2970292
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item