Browsing by Author "Chargueraud, Arthur"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication MoSeL: A general, extensible modal framework for interactive proofs in separation logic
;Krebbers, Robert ;Jourdan, Jacques-Henri ;Jung, Ralf ;Tassarotti, JosephKaiser, Jan-OliverProceedings paper2018, International Conference on Functional Programming (ICFP), 23/09/2018, p.Art. 77