@inproceedings{TschannenFuriaNordioMeyerLASER2012, author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach}, booktitle = {Tools for Practical Software Verification - LASER 2011, International Summer School}, editors = {Bertrand Meyer and Martin Nordio}, volume = {7682}, pages = {134-156}, series = {LNCS}, year = {2012}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/TschannenLASER11.pdf} }