@inproceedings{Furia-PT15a, author = {Carlo A. Furia and Christopher M. Poskitt and Julian Tschannen}, title = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code}, booktitle = {Proc. Formal Integrated Development Environment (F-IDE 2015)}, publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)}, volume = {187}, pages = {42-55}, year = {2015}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Furia-PT.F-IDE.2015.pdf}, }