@Bibtex-file{SE/SEEFM.bib,
  title =        "2nd South-East European Workshop on Formal Methods
                 ({SEEFM05}) Proceedings",
  author =       "George Eleftherakis",
  email =        "eleftherakis@city.academic.gr",
  address =      "Computer Science Department of City College,
                 Thessaloniki, Greece Affiliated Institution of the
                 University of Sheffield",
  supported =    "yes",
  abstract =     "This book is the final product of the 2nd South East
                 European Workshop on Formal Methods (SEEFM05) with
                 theme: {"}Practical dimensions: Challenges in the
                 business world{"} which took place in Ohrid on November
                 2005. The event contributes directly to the mission of
                 the South East European Research Centre (SEERC), which
                 is to support the development of South East Europe by
                 conducting pure and applied research in and for the
                 region. SEEFM targets to disseminate knowledge related
                 to the area of formal methods in South East Europe
                 countries.",
  keywords =     "Formal Methods",
}