Leapfrog: Certified Equivalence for Protocol Parsers

  • Tobias Kappé (Speaker)

Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

Period11 Oct 2022
Held atFriedrich-Alexander-Universitat Erlangen-Nurenberg, Germany

Related content