Repository logo Institutional repository
  • Communities & Collections
  • Scientific publicationsOpen knowledge
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Chargueraud, Arthur"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results per page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    MoSeL: A general, extensible modal framework for interactive proofs in separation logic

    Krebbers, Robert
    ;
    Jourdan, Jacques-Henri
    ;
    Jung, Ralf
    ;
    Tassarotti, Joseph
    ;
    Kaiser, Jan-Oliver
    Proceedings paper
    2018, International Conference on Functional Programming (ICFP), 23/09/2018, p.Art. 77

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings