TY  - RPRT
TI  - P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
AU  - Jens Kanstrup Larsen
AU  - Roberto Guanciale
AU  - Philipp Haller
AU  - Alceste Scalas
PY  - 2023
DO  - 10.1145/3622866
UR  - https://arxiv.org/abs/2309.03566
ID  - 2309.03566
ER  -