Bridging the Gap between Protocol Design and Implementation through Automated Mapping

  • Formal Methods and Language-based Security Software
  • 1801546
  • SaTC PI Meeting 2019
  • Project Slides
Submitted by tripakis on