TY  - RPRT
TI  - Reasoning About Computing in the Post-Moore world [Slides]
AU  - Shipman, Galen M.
PY  - 2020
DO  - 10.2172/1739909
UR  - https://www.osti.gov/biblio/1739909
ID  - 1739909
ER  -