@misc{indiciae75f562546a59,
  title = {P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)},
  author = {Jens Kanstrup Larsen and Roberto Guanciale and Philipp Haller and Alceste Scalas},
  year = {2023},
  doi = {10.1145/3622866},
  url = {https://arxiv.org/abs/2309.03566},
  note = {Source identifier: 2309.03566}
}