Article

Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, Tschannen, Julian and Ulbrich, Mattias (2012) The COST IC0701 Verification Competition 2011. Lecture Notes in Computer Science, 7421. pp. 3-21. ISSN 0302-9743

Conference or Workshop Item

Muller, Peter, Shankar, Natarajan, Leavens, Gary T., Ridge, Tom, Tuerk, Thomas, Klebanov, Vladimir, Ulbrich, Mattias, Weisse, Benjamin, Leino, K. Rustan M., Chapman, Rod, Monahan, Rosemary, Polikarpova, Nadia, Bronish, Derek, Arthan, Rob, Alkassar, Eyad, Cohen, Ernie, Hillebrand, Mark, Tobies, Stephan, Jacobs, Bart, Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished)