Bridging the Gap between Protocol Design and Implementation through Automated Mapping Download pdf Tags: Formal Methods and Language-based Security Software 1801546 SaTC PI Meeting 2019 Project Slides License: CC-2.5 Submitted by tripakis on Mon, 01/06/2020 - 10:55