NASA Formal Methods 2023 (series) / Andreas Katis
![Andreas Katis](https://conf.researchr.org/getProfileImage/andreaskatis/32ccf0e9-d73c-4cbf-8a3c-2146a35788a5/small.jpg?1711519579000)
Registered user since Wed 5 Aug 2020
Name:Andreas Katis
Affiliation:KBR / NASA Ames Research Center
Personal website: https://andreaskatis.github.io/
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile