Show simple item record

Interactive proofs in higher-order concurrent separation logic

dc.contributor.authorKrebbers, Robert
dc.contributor.authorTimany, Amin
dc.contributor.authorBirkedal, Lars
dc.date.accessioned2021-10-24T07:09:21Z
dc.date.available2021-10-24T07:09:21Z
dc.date.issued2017
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/28712
dc.sourceIIOimport
dc.titleInteractive proofs in higher-order concurrent separation logic
dc.typeJournal article
dc.source.peerreviewyes
dc.source.beginpage205
dc.source.endpage217
dc.source.journalACM SIGPLAN Notices
dc.source.issue1
dc.source.volume52
dc.identifier.urlhttps://dl.acm.org/citation.cfm?id=3009855
imec.availabilityPublished - imec
imec.internalnotesPOPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record