Not registered as user yet

Name:Matthias Krebs
Affiliation:TU Darmstadt, Germany

Contributions

POPL 2022 Dependently-Typed Data Plane Programming
Show activities from other conferences

Using general profile