BibTeX record conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11

download as .bib file

  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 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{\ss}},
  editor    = {Michael J. Butler and
               Wolfram Schulte},
  title     = {The 1st Verified Software Competition: Experience Report},
  booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  pages     = {154--168},
  publisher = {Springer},
  year      = {2011},
  url       = {\_14},
  doi       = {10.1007/978-3-642-21437-0\_14},
  timestamp = {Sat, 09 Apr 2022 12:46:18 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics