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, 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:

Optionen (nur für Redakteure)

View Item View Item