Registered user since Wed 5 Aug 2020
Name:Andreas Katis
Affiliation:KBR / NASA Ames Research Center
Personal website:https://andreaskatis.github.io/
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile