
Registered user since Thu 3 May 2018
Name: Véronique Benzaken
Country: France
Affiliation: Université Paris Saclay
Personal website: https://www.lri.fr/~benzaken/
Research interests: Data centric languages, Deep Specification with Proof Assistants
Contributions
CPP 2021 | A Coq Formalization of Data Provenance | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile