Rosa, E., 		Cunha, I., & 		Silva, F.
(2022).
A Simple Approach to Verify and Debug Data Plane Programs.
In <em>Anais do XIII Workshop de Pesquisa Experimental da Internet do Futuro</em>, (pp. 47-52). Porto Alegre: SBC.
doi:10.5753/wpeif.2022.223586