Title P4R-Type: A Verified API for P4 Control Plane Programs
DOI https://doi.org/10.1145/3622866
Raw Affiliation KTH Royal Institute of Technology, Stockholm, Sweden
Clean Page Target KTH Royal Institute of Technology, Stockholm, Sweden