TY  - RPRT
TI  - Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
AU  - Daniel Wright
AU  - Mark Batty
AU  - Brijesh Dongol
PY  - 2021
UR  - https://arxiv.org/abs/2108.01418
ID  - 2108.01418
ER  -