TY  - RPRT
TI  - Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AU  - Carlos Mao de Ferro
AU  - Anastasia Mavridou
AU  - Michael Dille
AU  - Francisco Martins
UR  - https://ntrs.nasa.gov/citations/20230005275
ID  - 20230005275
ER  -