@Bibtex-file{SE/pub-lsv.bib,
  title =        "Bibliography of publications from the Specification
                 and Verification Lab, {ENS} de Cachan",
  author =       "Nicolas Markey",
  email =        "markey@lsv.ens-cachan.fr",
  address =      "Lab. Specification and Verification\\ ENS de Cachan\\
                 61 av. Pdt. Wilson\\ F-94235 Cachan Cedex\\ France",
  supported =    "yes",
  abstract =     "This bibliography lists publications by researchers at
                 LSV (Lab. Specification and Verification). Most of the
                 publications are available on-line.",
  keywords =     "Specification, Verification, Formal Methods, Logic,
                 Model-checking",
}