Dimitra Giannakopoulou

Registered user since Wed 5 May 2021

Name:Dimitra Giannakopoulou
Affiliation:NASA Ames Research Center

Contributions

CPP 2022 A Compositional Proof Framework for FRETish Requirements
Show activities from other conferences

Using general profile