Not registered as user yet

Name:Tobias Kappé
Affiliation:ILLC, University of Amsterdam

Contributions

PLDI 2022 Leapfrog: Certified Equivalence for Protocol Parsers
Show activities from other conferences

Using general profile