BibTeX record: conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11

download as .bib file

@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
  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}},
  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},
  pages     = {154--168},
  year      = {2011},
  crossref  = {DBLP:conf/fm/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21437-0_14},
  doi       = {10.1007/978-3-642-21437-0_14},
  timestamp = {Wed, 01 Oct 2014 13:31:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2011,
  editor    = {Michael Butler and
               Wolfram Schulte},
  title     = {{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},
  publisher = {Springer},
  year      = {2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21437-0},
  doi       = {10.1007/978-3-642-21437-0},
  isbn      = {978-3-642-21436-3},
  timestamp = {Tue, 28 Jun 2011 12:20:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}