HomeIsabelle/Phabricator
Authored by kleing.

Description

new entries

Automated_Stateful_Protocol_Verification and Stateful_Protocol_Composition_and_Typing

Details

Committed
kleingMay 20 2020, 10:43 AM
Parents
rAFP9a777766b777: New entry: Knuth_Bendix_Order
Branches
Unknown
Tags
Unknown