@article{BormerBrockschmidtDistefanoetal.2012,
  author    = {Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Jean-Christophe Filli{\^a}tre and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude March{\´e} 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},
  journal   = {Lecture Notes in Computer Science},
  volume    = {7421},
  pages     = {3 -- 21},
  doi       = {10.1007/978-3-642-31762-0_2},
  year      = {2012},
}