Anastasia Mavridou

Registered user since Wed 23 May 2018

Name:Anastasia Mavridou
Affiliation:KBR / NASA Ames Research Center

Contributions

NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
Show activities from other conferences

Using general profile