TY  - RPRT
TI  - View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
AU  - Eleni Vafeiadi Bila
AU  - Brijesh Dongol
AU  - Ori Lahav
AU  - Azalea Raad
AU  - John Wickerson
PY  - 2022
UR  - https://arxiv.org/abs/2201.05860
ID  - 2201.05860
ER  -