@inproceedings{KlebanovEtAl, author = {Vladimir Klebanov and Peter M{\"u}ller and Natarajan Shankar and Gary T. Leavens and Valentin W{\"u}stholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark 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 Weiss}, title = {The 1st Verified Software Competition: Experience Report}, booktitle = {Proceedings, 17th International Symposium on Formal Methods (FM 2011)}, year = {2011}, editor = {Michael Butler and Wolfram Schulte}, series = {Lecture Notes in Computer Science}, month = {July}, publisher = {Springer}, urltopdf = {/people/polikarpova/publications/fm11.pdf}, % springer = can't find yet }