@misc{indiciaecb0c0e83a811,
  title = {Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL},
  author = {Sadegh Dalvandi and Brijesh Dongol and Simon Doherty},
  year = {2020},
  url = {https://arxiv.org/abs/2004.02983},
  note = {Source identifier: 2004.02983}
}