@Bibtex-file{SE/fme.bib,
  title =        "The {FME} and {VDM} Europe Bibliography",
  author =       "Peter Gorm Larsen",
  email =        "peter@ifad.dk",
  address =      "IFAD\\ Forskerparken 10\\ DK-5230 Odense M\\ Denmark",
  supported =    "yes",
  abstract =     "References from the symposia organised by VDM Europe
                 and Formal Methods Europe (FME)",
  keywords =     "Software Engineering, Formal Methods",
}