Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß. The 1st Verified Software Competition: Experience Report. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 154-168, Springer, 2011. [doi]
@inproceedings{KlebanovMSLWAABCCHJLMPPRSTTUW11,
title = {The 1st Verified Software Competition: Experience Report},
author = {Vladimir Klebanov and Peter Müller and Natarajan Shankar and Gary T. Leavens and Valentin Wüstholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark A. Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Benjamin Weiß},
year = {2011},
doi = {10.1007/978-3-642-21437-0_14},
url = {http://dx.doi.org/10.1007/978-3-642-21437-0_14},
researchr = {https://researchr.org/publication/KlebanovMSLWAABCCHJLMPPRSTTUW11},
cites = {0},
citedby = {0},
pages = {154-168},
booktitle = {FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
editor = {Michael Butler and Wolfram Schulte},
volume = {6664},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-21436-3},
}