automated_stateful_protocol_verification • Science 31%

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

stateful_protocol_composition_and_typing • Science 26%