Not registered as user yet

Name:Nicolas Tabareau
Affiliation:Inria

Contributions

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