BibTeX record conf/sefm/2010

download as .bib file

@proceedings{DBLP:conf/sefm/2010,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Stefania Gnesi and
               Andrea Maggiolo{-}Schettini},
  title     = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics