@Bibtex-file{SE/AFADL.bib,
  title =        "{AFADL}",
  author =       "Pierre-Yves Schobbens",
  email =        "Pierre-yves.schobbens@fundp.ac.be",
  address =      "Facult##s Universitaires Notre-Dame de la Paix",
  supported =    "yes",
  copyright =    "Put into public domain",
  abstract =     "Actes de la Conference sur sur les Approches Formelles
                 dans l'Assistance au D##veloppement de Logiciels --
                 Proceedings of the (French-speaking) conference on
                 Formal Methods to Support Software Development",
  readme =       "Currently only contains the 2007 proceedings",
  keywords =     "Formal methods, automated software engineering,
                 semantics of programming languages, refinement",
}