Registered user since Mon 11 Jan 2021

Name:Rébecca Zucchini
Affiliation:LRI, Université de Paris Sud, CNRS (UMR8623) - Université Paris Saclay

Contributions

CPP 2021 Author of A Coq Formalization of Data Provenance within the CPP 2021-track