Accéder directement au contenu

Véronique Benzaken

3
Documents

Présentation

Publications

"chantal-keller"
Image document

Vers une formalisation en Coq de la provenance de données

Véronique Benzaken , Sarah Cohen-Boulakia , Évelyne Contejean , Chantal Keller , Rébecca Zucchini
31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87
Communication dans un congrès hal-03080066v1
Image document

A Coq formalisation of SQL's execution engines

Véronique Benzaken , Évelyne Contejean , Chantal Keller , Eunice Martins
ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩
Communication dans un congrès hal-01716048v1