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