ITU

Two for the Price of One: Lifting Separation Logic Assertions.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View graph of relations

Original languageEnglish
JournalLogical Methods in Computer Science
Volume8
Issue number3
ISSN1860-5974
Publication statusPublished - 2012

ID: 37326965