Not registered as user yet
Name:Olivier Nicole
Country:France
Affiliation:CEA LIST, France
Contributions
VMCAI 2022 | Lightweight Shape Analysis based on Physical Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile