Browsing Conference contributions by author "Kaiser, Jan-Oliver"
Now showing items 1-1 of 1
-
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
Krebbers, Robert; Jourdan, Jacques-Henri; Jung, Ralf; Tassarotti, Joseph; Kaiser, Jan-Oliver; Timany, Amin; Chargueraud, Arthur; Dreyer, Derek (2018)