dumbrava.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc dumbrava.cite -ob dumbrava.bib -c 'author : "dumbrava"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{benzaken17itp,
  author = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean and
               Stefania Dumbrava},
  title = {Certifying Standard and Stratified Datalog Inference Engines in SSReflect},
  booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  pages = {171--188},
  year = {2017},
  crossref = {itp2017},
  url = {https://doi.org/10.1007/978-3-319-66107-0_12},
  doi = {10.1007/978-3-319-66107-0_12}
}

@inproceedings{benzaken14esop,
  hal = {http://hal.inria.fr/hal-00924156},
  author = {V\'eronique Benzaken and \'Evelyne Contejean and Stefania Dumbrava},
  title = {A {Coq} Formalization of the Relational Data Model},
  crossref = {esop2014},
  year = 2014,
  month = apr,
  editor = {Z. Shao},
  booktitle = {European Symposium on Programming, LNCS 8410},
  pages = {189-208},
  type_publi = {icolcomlec},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes}
}

@proceedings{esop2014,
  title = {23rd European Symposium on Programming (ESOP)},
  year = 2014,
  booktitle = {ESOP},
  editor = {Zhong Shao},
  series = {Lecture Notes in Computer Science},
  address = {Grenoble},
  month = apr,
  publisher = {Springer}
}

@proceedings{itp2017,
  editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  title = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10499},
  publisher = {Springer},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-66107-0},
  doi = {10.1007/978-3-319-66107-0},
  isbn = {978-3-319-66106-3}
}