Skip to content
cs-conference-ranking.org

Owicki-Gries Reasoning for Weak Memory Models.

Ori Lahav, Viktor Vafeiadis

VenueA*ICALP
Year2015
ProceedingsICALP (2)
DBLP recordconf/icalp/LahavV15 ↗

Browse the full ICALP paper archive.