Rosa, E., 		Cunha, I., & 		Silva, F.
2022 mai 27.  A Simple Approach to Verify and Debug Data Plane Programs. Anais do Workshop de Pesquisa Experimental da Internet do Futuro (WPEIF). [Online] :