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

dc.contributor.author	Penninckx, Willem
dc.contributor.author	Timany, Amin
dc.contributor.author	Jacobs, Bart
dc.date.accessioned	2021-10-27T15:47:25Z
dc.date.available	2021-10-27T15:47:25Z
dc.date.embargo	9999-12-31
dc.date.issued	2019
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/33771
dc.identifier.url	https://dl.acm.org/citation.cfm?id=3341118
dc.source.beginpage	Art.5
dc.source.conference	FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
dc.source.conferencedate	15/07/2019
dc.source.conferencelocation	London UK
dc.title	Specifying I/O using abstract nested hoare triples in separation logic
dc.type	Proceedings paper
dspace.entity.type	Publication
Files	Original bundle Name: 43597.pdf Size: 486.97 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Conference contributions

Date