Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
An empirical evaluation of two user interfaces of an interactive program verifier.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970303
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
The interactive verification debugger: effective understanding of interactive proof attempts.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970292
Konferenzveröffentlichung, Bibliographie