Publication:

Modular Semi-Automated Formal Verification of Security-Critical Software

Date

2018-10
Dissertation
Simple item page Full metadata Statistics
 
dc.contributor.authorVanspauwen, Gijs
dc.contributor.thesisadvisorJacobs, Bart
dc.date.accessioned2021-10-26T08:03:14Z
dc.date.available2021-10-26T08:03:14Z
dc.date.embargo9999-12-31
dc.date.issued2018-10
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/32155
dc.identifier.urlhttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS2089306&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1
dc.title

Modular Semi-Automated Formal Verification of Security-Critical Software

dc.typePHD thesis
dspace.entity.typePublication
Files

Original bundle

Name:
43009.pdf
Size:
1.35 MB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Dissertations