BibTeX record conf/dagstuhl/2006P6191

download as .bib file

@proceedings{DBLP:conf/dagstuhl/2006P6191,
  editor       = {Jean{-}Raymond Abrial and
                  Uwe Gl{\"{a}}sser},
  title        = {Rigorous Methods for Software Construction and Analysis, 07.05. -
                  12.05.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06191},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/portals/06191/},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2006P6191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics