Originalsprog | Engelsk |
---|---|
Tidsskrift | Logical Methods in Computer Science |
Vol/bind | 7 |
Udgave nummer | 3:21 |
Sider (fra-til) | 440-454 |
ISSN | 1860-5974 |
Status | Udgivet - 2011 |
Nested Hoare Triples and Frame Rules for Higher-Order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review