@Inproceedings{EPTCS187.4, author = {Furia, Carlo A. and Poskitt, Christopher M. and Tschannen, Julian}, year = {2015}, title = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code}, editor = {Dubois, Catherine and Masci, Paolo and M\'ery, Dominique}, booktitle = {{\rm Proceedings Second International Workshop on} Formal Integrated Development Environment, {\rm Oslo, Norway, June 22, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {187}, publisher = {Open Publishing Association}, pages = {42-55}, doi = {10.4204/EPTCS.187.4}, }