MoSeL: a general, extensible modal framework for interactive proofs in separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung 0002, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer. MoSeL: a general, extensible modal framework for interactive proofs in separation logic. Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Identified as Robbert Krebbers This author has not been identified. Look up 'Jacques-Henri Jourdan' in GoogleThis author has not been identified. Look up 'Ralf Jung 0002' in GoogleThis author has not been identified. Look up 'Joseph Tassarotti' in GoogleThis author has not been identified. Look up 'Jan-Oliver Kaiser' in GoogleThis author has not been identified. It may be one of the following persons:

Amin Timany

Look up 'Amin Timany' in GoogleThis author has not been identified. Look up 'Arthur Charguéraud' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in Google

runs on WebDSL