Martin Hentschel 0002, Reiner Hähnle, Richard Bubel. An empirical evaluation of two user interfaces of an interactive program verifier. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 403-413, ACM, 2016. [doi]
Abstract is missing.