Not registered as user yet
Name:Nicolas Tabareau
Affiliation:Inria
Contributions
| CPP 2019 | Session Chair of Research Papers: Program Verification (part of CPP 2019) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile