![](/img/cover-not-exists.png)
[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - An empirical evaluation of two user interfaces of an interactive program verifier
Hentschel, Martin, Hähnle, Reiner, Bubel, RichardYear:
2016
Language:
english
DOI:
10.1145/2970276.2970303
File:
PDF, 524 KB
english, 2016