Not registered as user yet

Name:Sarah Cohen-Boulakia
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