@Bibtex-file{SE/softeng.group.Freiburg.bib,
  title =        "Bibliography of the Publications of the Software
                 Engineering Group Freiburg",
  author =       "Achim D. Brucker",
  email =        "brucker@informatik.uni-freiburg.de",
  supported =    "yes",
  copyright =    "Chair for Software Engineering,
                 Albert-Ludwigs-Universit{\"a}t Freiburg",
  abstract =     "The Bibliography contains all publications of the
                 Sofware Engineering Group Freiburg. The research of the
                 group is focused to the development of methods for the
                 specification and verification of computer systems.
                 Particular emphasis is put on Formal Methods based on
                 mathematical modelling and formal logic.",
  keywords =     "Formal Methods, Software Engineering,",
}