@inproceedings{COSTCompetition2011,
  author = {Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Jean-Christophe Filliātre and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude Marché and Rosemary Monahan and Wojciech Mostowski and Nadia Polikarpova and Christoph Scheben and Gerhard Schellhorn and Bogdan Tofan and Julian Tschannen and Mattias Ulbrich},
  title = {{The COST IC0701 Verification Competition 2011}},
  booktitle = {Proceedings of the 2nd International Conference on Formal Verification of Object-Oriented Software},
  series = {FoVeOos 2011},
  year = {2012},
  series = {LNCS},
  publisher = {Springer},
}