@inproceedings{vscomp2011, <br>AUTHOR = {Klebanov, V and Müller, P. and Shankar, N. and Leavens, G. and Wüstholz, V. and Alkassar, E. and Arthan, R. and Bronish, D. and Chapman, R. and Cohen, E. and Hillebrand, M. and Jacobs, B and Leino, R. and Monahan, R. and Piessens, F. and Polikarpova, N. and Ridge, T. and Smans, J. and Tobies, S. and Tuerk, T. and Ulbrich, M. and Wei, B.},<br>TITLE = {The 1st Verified Software Competition: Experience Report},<br>YEAR = {2011},<br>BOOKTITLE = {17th International Symposium on Formal Methods (FM 2011)}, <br>PUBLISHER = {LNCS},<br>EDITOR = {Michael Butler and Wolfram Schulte},<br>}