Aarhus University Seal / Aarhus Universitets segl

Verification of the Joins Library in Higher-Order Separation Logic

Research output: Working paper/Preprint Working paperResearch

Original languageEnglish
Publication statusPublished - 2013
Externally publishedYes

Bibliographical note

Ufuldstænding publicerignskanal, formentlig en teknisk rapport (jcg, 250313), ditto (jcg,11/08/13)

See relations at Aarhus University Citationformats

ID: 73743405