TY  - RPRT
TI  - Oses for High Consequence Applications; Might SeL4 benefit Nuclear Weapons?.
AU  - Evans, Noah
PY  - 2022
DO  - 10.2172/2005694
UR  - https://www.osti.gov/biblio/2005694
ID  - 2005694
ER  -