![Ivan Perez](https://conf.researchr.org/getProfileImage/ivanperez/b9b234ac-fa15-4a51-90a6-7430be9b0186/small.jpg?1711486585000)
Registered user since Fri 19 May 2017
Name:Ivan Perez
Bio:
Researcher @ NIA / NASA Formal Methods
Affiliation:NIA / NASA Formal Methods
Research interests:Formal Methods, FRP
Contributions
SPLASH 2019-profile
View general profile
View general profile