Not registered as user yet

Name: Nicolas Tabareau

Affiliation: Inria

Contributions

CPP 2019Session Chair of Research Papers: Program Verification (part of CPP 2019)