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}
}