Skip to content
cs-conference-ranking.org

Local Action and Abstract Separation Logic.

Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang

VenueA*LICS
Year2007
ProceedingsLICS
DBLP recordconf/lics/CalcagnoOY07 ↗

Browse the full LICS paper archive.