TY  - RPRT
TI  - Preventing Data Races with Refinement Types
AU  - Stelle, George Widgery
PY  - 2018
UR  - https://www.osti.gov/biblio/1475318
ID  - 1475318
ER  -