@inproceedings{TschannenLASER11,
  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},
}