TY  - RPRT
TI  - Formal Methods for Provably Secure Software and Firmware
AU  - Whyatt, Marie V.
AU  - Powers, Caitlyn B.
AU  - Pollans, Emma L.
AU  - Van Vaerenbergh, Brandon J.
AU  - Peterson, Joshua A.
AU  - Martinez, Raul Y.
PY  - 2024
UR  - https://www.osti.gov/biblio/2472787
ID  - 2472787
ER  -