Cited By
View all- Conrad ETitolo LGiannakopoulou DPressburger TDutle APopescu AZdancewic S(2022)A compositional proof framework for FRETish requirementsProceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3497775.3503685(68-81)Online publication date: 17-Jan-2022
- Viger TMurphy LDi Sandro AMenghi CShahin RChechik M(2022)The ForeMoSt approach to building valid model-based safety argumentsSoftware and Systems Modeling10.1007/s10270-022-01063-422:5(1473-1494)Online publication date: 30-Nov-2022
- Giannakopoulou DPressburger TMavridou ASchumann J(2020)Generation of Formal Requirements from Structured Natural LanguageRequirements Engineering: Foundation for Software Quality10.1007/978-3-030-44429-7_2(19-35)Online publication date: 18-Mar-2020
- Show More Cited By