Skip to main navigation Skip to search Skip to main content

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