Vanspauwen, GijsGijsVanspauwen2021-10-262021-10-262018-10https://imec-publications.be/handle/20.500.12860/32155Modular Semi-Automated Formal Verification of Security-Critical SoftwarePHD thesishttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS2089306&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1