Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Notes in Theoretical Computer Science |
Vol/bind | 276 |
ISSN | 1571-0661 |
DOI | |
Status | Udgivet - 2011 |
A Step-Indexed Kripke Model of Separation Logic for Storable Locks
Alexandre Buisse, Lars Birkedal, Kristian Støvring
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review