Browsing by Author "Penninckx, Willem"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Publication Modular Semi-automatic Formal Verification of Critical Systems Software
Penninckx, WillemPHD thesis2017-09Publication Specifying I/O using abstract nested hoare triples in separation logic
;Penninckx, Willem ;Timany, AminJacobs, BartProceedings paper2019, FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 15/07/2019, p.Art.5