Show simple item record

A model for provably secure software design

dc.contributor.authorVan den Berghe, Alexander
dc.contributor.authorYskout, Koen
dc.contributor.authorJoosen, Wouter
dc.contributor.authorScandariato, Riccardo
dc.date.accessioned2021-10-24T15:44:33Z
dc.date.available2021-10-24T15:44:33Z
dc.date.issued2017
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/29645
dc.sourceIIOimport
dc.titleA model for provably secure software design
dc.typeProceedings paper
dc.contributor.imecauthorJoosen, Wouter
dc.source.peerreviewyes
dc.source.beginpage3
dc.source.endpage9
dc.source.conferenceProceedings of the 5th International FME Workshop on Formal Methods in Software Engineering - FormaliSE
dc.source.conferencedate20/05/2017
dc.source.conferencelocationBuenos Aires Argentina
dc.identifier.urlhttps://dl.acm.org/citation.cfm?id=3101294
imec.availabilityPublished - imec


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