"Usability of AutoProof: a case study of software verification."

Mansur Khazeev et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics