NASA Formal Methods 2023 (series) / Anastasia Mavridou
![Anastasia Mavridou](https://conf.researchr.org/getProfileImage/anastasiamavridou/4e324796-93dc-4e13-a12b-fdff679bf5f6/small.jpg?1711472472000)
Registered user since Wed 23 May 2018
Name:Anastasia Mavridou
Country:United States
Affiliation:KBR / NASA Ames Research Center
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile