Krebbers, RobertRobertKrebbersTimany, AminAminTimanyBirkedal, LarsLarsBirkedal2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/28712Interactive proofs in higher-order concurrent separation logicJournal articlehttps://dl.acm.org/citation.cfm?id=3009855