TY  - RPRT
TI  - Verifying speculative multithreading in an application
AU  - Felton, Mitchell D
PY  - 2014
UR  - https://www.osti.gov/biblio/1163973
ID  - 1163973
ER  -