BibTeX record conf/foveoos/BormerBDEFGHKMMMPSSTTU11

download as .bib file

@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
  author    = {Thorsten Bormer and
               Marc Brockschmidt and
               Dino Distefano and
               Gidon Ernst and
               Jean{-}Christophe Filli{\^{a}}tre and
               Radu Grigore and
               Marieke Huisman and
               Vladimir Klebanov and
               Claude March{\'{e}} and
               Rosemary Monahan and
               Wojciech Mostowski and
               Nadia Polikarpova and
               Christoph Scheben and
               Gerhard Schellhorn and
               Bogdan Tofan and
               Julian Tschannen and
               Mattias Ulbrich},
  title     = {The {COST} {IC0701} Verification Competition 2011},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  pages     = {3--21},
  year      = {2011},
  crossref  = {DBLP:conf/foveoos/2011},
  url       = {https://doi.org/10.1007/978-3-642-31762-0\_2},
  doi       = {10.1007/978-3-642-31762-0\_2},
  timestamp = {Sat, 19 Oct 2019 20:25:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/BormerBDEFGHKMMMPSSTTU11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2011,
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Dilian Gurov},
  title     = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7421},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31762-0},
  doi       = {10.1007/978-3-642-31762-0},
  isbn      = {978-3-642-31761-3},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foveoos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics