conf.researchr.org / Thomas Pressburger
Not registered as user yet
Name:Thomas Pressburger
Affiliation:NASA ARC
Contributions
| CPP 2022 | Author of A Compositional Proof Framework for FRETish Requirements within the CPP 2022-track |
Not registered as user yet
Contributions
| CPP 2022 | Author of A Compositional Proof Framework for FRETish Requirements within the CPP 2022-track |