TY  - RPRT
TI  - Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
AU  - Sadegh Dalvandi
AU  - Brijesh Dongol
AU  - Simon Doherty
PY  - 2020
UR  - https://arxiv.org/abs/2004.02983
ID  - 2004.02983
ER  -