![Véronique Benzaken](https://popl19.sigplan.org/getProfileImage/veroniquebenzaken/ee90cf3c-afe6-4672-aa6e-e79938b257fc/small.jpg?1711479057000)
Registered user since Thu 3 May 2018
Name:Véronique Benzaken
Country:France
Affiliation:LRI, Université Paris-Sud
Personal website: https://www.lri.fr/~benzaken/
Research interests:Data centric languages, Deep Specification with Proof Assistants
Contributions
POPL 2019-profile
View general profile
View general profile