SPLASH 2019 (series) / Ivan Perez

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
REBLS 2019 | Streams, Reactivity and FRP: where we are, where to go Committee Member in Program Committee within the REBLS-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile