Registered user since Mon 5 Nov 2018
Name:Evelyne Contejean
Affiliation:CNRS
Contributions
CPP 2021 | A Coq Formalization of Data Provenance | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile
Registered user since Mon 5 Nov 2018
Contributions
CPP 2021 | A Coq Formalization of Data Provenance | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |