BibTeX record journals/fmsd/StollerV05

download as .bib file

@article{DBLP:journals/fmsd/StollerV05,
  author    = {Scott D. Stoller and
               Willem Visser},
  title     = {Foreword},
  journal   = {Formal Methods in System Design},
  volume    = {26},
  number    = {2},
  pages     = {75--76},
  year      = {2005}
}
maintained by Schloss Dagstuhl LZI at University of Trier