%0 Journal Article
%T P4R-Type: A Verified API for P4 Control Plane Programs
%A Larsen, Jens Kanstrup
%A Guanciale, Roberto
%A Haller, Philipp
%A Scalas, Alceste
%J ACM SIGBED Review
%V 7
%N OOPSLA2
%P 1935-1963
%D 2023-10-16
%I ACM
%~ DeepDyve