Modular verification of liveness properties of the I/O behavior of imperative programs

dc.contributor.author	Jacobs, Bart
dc.date.accessioned	2021-10-28T22:50:00Z
dc.date.available	2021-10-28T22:50:00Z
dc.date.embargo	9999-12-31
dc.date.issued	2020-10
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/35315
dc.identifier.url	https://doi.org/10.1007/978-3-030-61362-4_29
dc.source.beginpage	509
dc.source.conference	15th International Symposium on Leveraging Applications of Formal Methods - ISoLA
dc.source.conferencedate	20/10/2020
dc.source.conferencelocation	Rhodos Greece
dc.source.endpage	524
dc.title	Modular verification of liveness properties of the I/O behavior of imperative programs
dc.type	Proceedings paper
dspace.entity.type	Publication
Files	Original bundle Name: 48259.pdf Size: 325.07 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Conference contributions

Date