BibTeX record conf/sefm/GurovH05

download as .bib file

@inproceedings{DBLP:conf/sefm/GurovH05,
  author    = {Dilian Gurov and
               Marieke Huisman},
  title     = {Interface Abstraction for Compositional Verificatio},
  booktitle = {{SEFM}},
  pages     = {414--424},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics