Login / Signup

Interactive proofs in higher-order concurrent separation logic.

Robbert KrebbersAmin TimanyLars Birkedal
Published in: POPL (2017)
Keyphrases