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 tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftLogical Methods in Computer Science
    Vol/bind8
    Udgave nummer3
    ISSN1860-5974
    StatusUdgivet - 2012

    Citationsformater