Two for the Price of One: Lifting Separation Logic Assertions.
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
| Original language | English |
|---|---|
| Journal | Logical Methods in Computer Science |
| Volume | 8 |
| Issue number | 3 |
| ISSN | 1860-5974 |
| Publication status | Published - 2012 |
ID: 37326965