![Jaime Arias](https://conf.researchr.org/getProfileImage/jaimearias/06954865-2552-40a7-bf7c-89b3927cd708/small.jpg?1715091385000)
Registered user since Mon 10 Oct 2016
Name:Jaime Arias
Country:France
Affiliation:CNRS; LIPN; Université Sorbonne Paris Nord
Personal website: https://www.jaime-arias.fr/
Research interests:Formal Methods, Interactive Systems
Contributions
ICSE 2024-profile
View general profile
View general profile