Skip to content

Local reasoning about storable locks.

Josh Berdine

VenueCPPDP
Year2007
ProceedingsPPDP

Browse the full PPDP paper archive.