SPLASH 2023 (series) / Carlos Olarte
Registered user since Sun 3 Jul 2022
Name:Carlos Olarte
Country:France
Affiliation:CNRS; LIPN; Université Sorbonne Paris Nord
Personal website:https://sites.google.com/site/carlosolarte/
Research interests:Formal methods, logic
Contributions
| FTSCS 2023 | Committee Member in Program Committee within the FTSCS 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile