Originalsprog | Engelsk |
---|---|
Tidsskrift | Logical Methods in Computer Science |
Vol/bind | 8 |
Udgave nummer | 3 |
ISSN | 1860-5974 |
Status | Udgivet - 2012 |
Two for the Price of One: Lifting Separation Logic Assertions.
Jacob Junker Thamsborg, Lars Birkedal, Hongseok Yang
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review