Browsing by author "Penninckx, Willem"
Now showing items 1-2 of 2
-
Modular Semi-automatic Formal Verification of Critical Systems Software
Penninckx, Willem (2017-09) -
Specifying I/O using abstract nested hoare triples in separation logic
Penninckx, Willem; Timany, Amin; Jacobs, Bart (2019)