On Models of Higher-Order Separation Logic

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

Dokumenter

DOI

OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Vol/bind336
Nummer4
Sider (fra-til)57-78
Antal sider22
ISSN1571-0661
DOI
StatusUdgivet - 2018

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 119264030