@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 = {/people/tschannen/publications/tfnp-tacas15.pdf} }