@InProceedings{TschannenSEFM11,
  author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer},
  title = {Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques},
  booktitle = {Proceedings of the 9th International Conference on Software Engineering and Formal Methods},
  series = {SEFM '11},
  year = {2011},
  series = {LNCS},
  publisher = {Springer},
}