Specifying I/O using abstract nested hoare triples in separation logic

Penninckx, WillemWillemPenninckxTimany, AminAminTimanyJacobs, BartBartJacobs2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/33771Specifying I/O using abstract nested hoare triples in separation logicProceedings paperhttps://dl.acm.org/citation.cfm?id=3341118