Ownership-Based Owicki-Gries Reasoning.

Mikhail Semenyuk, Brijesh Dongol

Browse the full SAC paper archive.