Ownership-Based Owicki-Gries Reasoning. - Mikhail Semenyuk; Brijesh Dongol (SAC, 2023)

Verifying Read-Copy Update Under RC11. - Mikhail Semenyuk; Mark Batty; Brijesh Dongol (SEFM, 2023)