%0 Conference Paper %1 conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11 %A Klebanov, Vladimir %A Müller, Peter %A Shankar, Natarajan %A Leavens, Gary T. %A Wüstholz, Valentin %A Alkassar, Eyad %A Arthan, Rob %A Bronish, Derek %A Chapman, Rod %A Cohen, Ernie %A Hillebrand, Mark A. %A Jacobs, Bart %A Leino, K. Rustan M. %A Monahan, Rosemary %A Piessens, Frank %A Polikarpova, Nadia %A Ridge, Tom %A Smans, Jan %A Tobies, Stephan %A Tuerk, Thomas %A Ulbrich, Mattias %A Weiß, Benjamin %B FM %D 2011 %E Butler, Michael J. %E Schulte, Wolfram %I Springer %K %P 154-168 %T The 1st Verified Software Competition: Experience Report. %U http://dblp.uni-trier.de/db/conf/fm/fm2011.html#KlebanovMSLWAABCCHJLMPPRSTTUW11 %V 6664 %@ 978-3-642-21436-3

@inproceedings{conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11, added-at = {2023-12-13T00:09:59.000+0100}, author = {Klebanov, Vladimir and Müller, Peter and Shankar, Natarajan and Leavens, Gary T. and Wüstholz, Valentin and Alkassar, Eyad and Arthan, Rob and Bronish, Derek and Chapman, Rod and Cohen, Ernie and Hillebrand, Mark A. and Jacobs, Bart and Leino, K. Rustan M. and Monahan, Rosemary and Piessens, Frank and Polikarpova, Nadia and Ridge, Tom and Smans, Jan and Tobies, Stephan and Tuerk, Thomas and Ulbrich, Mattias and Weiß, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/24201393d55d712021488eab5d8f85421/admin}, booktitle = {FM}, crossref = {conf/fm/2011}, editor = {Butler, Michael J. and Schulte, Wolfram}, ee = {https://doi.org/10.1007/978-3-642-21437-0_14}, interhash = {5facd6dbcc964b1971828162c20499c6}, intrahash = {4201393d55d712021488eab5d8f85421}, isbn = {978-3-642-21436-3}, keywords = {}, pages = {154-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:09:59.000+0100}, title = {The 1st Verified Software Competition: Experience Report.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2011.html#KlebanovMSLWAABCCHJLMPPRSTTUW11}, volume = 6664, year = 2011 }