Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich. The COST IC0701 Verification Competition 2011. In Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, editors, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Volume 7421 of Lecture Notes in Computer Science, pages 3-21, Springer, 2011. [doi]
@inproceedings{BormerBDEFGHKMMMPSSTTU11,
title = {The COST IC0701 Verification Competition 2011},
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},
year = {2011},
doi = {10.1007/978-3-642-31762-0_2},
url = {http://dx.doi.org/10.1007/978-3-642-31762-0_2},
researchr = {https://researchr.org/publication/BormerBDEFGHKMMMPSSTTU11},
cites = {0},
citedby = {0},
pages = {3-21},
booktitle = {Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
editor = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
volume = {7421},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-31761-3},
}