SPLASH 2023 (series) / Jesus Aranda
Registered user since Fri 15 Sep 2023
Name:Jesus Aranda
Country:Colombia
Affiliation:Universidad del Valle
Research interests:Concurrency Theory, Constraint Programming, Artificial Intelligence, Formal Verification
Contributions
SPLASH 2023-profile
View general profile
View general profile