Véronique Benzaken

Documents

Présentation

"stefania-dumbrava"

	Certifying Standard and Stratified Datalog Inference Engines in SSReflect Véronique Benzaken , Évelyne Contejean , Stefania Dumbrava International Conference on Interective Theorem Proving, 2017, Brasilia, Brazil Communication dans un congrès hal-01745566v1
	A Coq Formalization of the Relational Data Model Véronique Benzaken , Évelyne Contejean , Stefania Dumbrava ESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France Communication dans un congrès hal-00924156v1