Penninckx, WillemWillemPenninckx2021-10-242021-10-242017-09https://imec-publications.be/handle/20.500.12860/29157Modular Semi-automatic Formal Verification of Critical Systems SoftwarePHD thesishttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1656799&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US&fromSitemap=1