CV Accueil - Archive ouverte HAL

Publications

	A Coq formalization of data provenance Véronique Benzaken , Sarah Cohen-Boulakia , Évelyne Contejean , Chantal Keller , Rébecca Zucchini Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ Communication dans un congrès hal-03380459v1
	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