"Persistent Owicki-Gries reasoning: a program logic for reasoning about ..."

Azalea Raad, Ori Lahav, Viktor Vafeiadis (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics