Not registered as user yet
Name:Denis Cousineau
Affiliation:Mitsubishi Electric R&D Centre Europe
Contributions
CPP 2023 | Compositional pre-processing for automated reasoning in dependent type theory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile