Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

Updated 6 months ago

Local mirror of Automated Stateful Protocol Verification entry of the Archive of Formal Proofs (AFP).

Updated 6 months ago