@inproceedings{PTF-FM15,
  author = {Carlo A. Furia and Christopher M. Poskitt and Julian Tschannen},
  title = {The {AutoProof} Verifier: Usability by Non-Experts and on Standard Code},
  booktitle = {Proceedings of the 2nd Workshop on Formal Integrated Development Environment (F-IDE)},
  year = {2015},
  publisher = {EPTCS},
  series = {Electronic Proceedings in Theoretical Computer Science},
}