Show simple item record

Specifying I/O using abstract nested hoare triples in separation logic

dc.contributor.authorPenninckx, Willem
dc.contributor.authorTimany, Amin
dc.contributor.authorJacobs, Bart
dc.date.accessioned2021-10-27T15:47:25Z
dc.date.available2021-10-27T15:47:25Z
dc.date.issued2019
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/33771
dc.sourceIIOimport
dc.titleSpecifying I/O using abstract nested hoare triples in separation logic
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpageArt.5
dc.source.conferenceFTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
dc.source.conferencedate15/07/2019
dc.source.conferencelocationLondon UK
dc.identifier.urlhttps://dl.acm.org/citation.cfm?id=3341118
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
43597.pdf
Size:
486.9Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record