TY  - RPRT
TI  - A wide-spectrum language for verification of programs on weak memory models
AU  - Robert J. Colvin
AU  - Graeme Smith
PY  - 2018
DO  - 10.1007/978-3-319-95582-7_14
UR  - https://arxiv.org/abs/1802.04406
ID  - 1802.04406
ER  -