TU Darmstadt / ULB / TUbiblio

An empirical evaluation of two user interfaces of an interactive program verifier

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Lo, David and Apel, Sven and Khurshid, Sarfraz (eds.) (2016):
An empirical evaluation of two user interfaces of an interactive program verifier.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pp. 403-413, DOI: 10.1145/2970276.2970303,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303],
[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: An empirical evaluation of two user interfaces of an interactive program verifier
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.2970303
Official URL: http://doi.acm.org/10.1145/2970276.2970303
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item