TY  - RPRT
TI  - Automated reasoning technologies will enable a correct-by-construction approach to systems engineering
AU  - Mahmood, Raheel
PY  - 2023
DO  - 10.2172/2430841
UR  - https://www.osti.gov/biblio/2430841
ID  - 2430841
ER  -