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