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

Jacob Junker Thamsborg, Lars Birkedal, Hongseok Yang

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

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

    Cite this