BibTeX record conf/dagstuhl/DrossopoulouFMS08

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/DrossopoulouFMS08,
  author       = {Sophia Drossopoulou and
                  Adrian Francalanza and
                  Peter M{\"{u}}ller and
                  Alexander J. Summers},
  editor       = {Amal Ahmed and
                  Nick Benton and
                  Martin Hofmann and
                  Greg Morrisett},
  title        = {A Unified Framework for Verification Techniques for Object Invariants},
  booktitle    = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {08061},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2008},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2008/1427},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics