Krebbers, RobertRobertKrebbersJourdan, Jacques-HenriJacques-HenriJourdanJung, RalfRalfJungTassarotti, JosephJosephTassarottiKaiser, Jan-OliverJan-OliverKaiserTimany, AminAminTimanyChargueraud, ArthurArthurChargueraudDreyer, DerekDerekDreyer2021-10-252021-10-252018https://imec-publications.be/handle/20.500.12860/31084MoSeL: A general, extensible modal framework for interactive proofs in separation logicProceedings paperhttps://dl.acm.org/citation.cfm?doid=3243631.3236772