BibTeX record conf/fmoods/BoerP02

download as .bib file

@inproceedings{DBLP:conf/fmoods/BoerP02,
  author       = {Frank S. de Boer and
                  Cees Pierik},
  editor       = {Bart Jacobs and
                  Arend Rensink},
  title        = {Computer-aided Specification and Verification of Annotated Object-Oriented
                  Programs},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
                  {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
                  Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
                  Enschede, The Netherlands},
  series       = {{IFIP} Conference Proceedings},
  volume       = {209},
  pages        = {163--177},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BoerP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.