/Automated_Stateful_Protocol_Verification

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

Primary LanguageIsabelleOtherNOASSERTION

Watchers