@inproceedings{TFNP-TACAS15,
  author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Nadia Polikarpova},
  title = {AutoProof: Auto-active Functional Verification of Object-oriented Programs},
  booktitle={21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  year = {2015},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/tfnp-tacas15.pdf}
}