Rosa, Eduardo, 		Cunha, Italo, E 		Silva, Flávio.
" A Simple Approach to Verify and Debug Data Plane Programs" <em>Anais do Workshop de Pesquisa Experimental da Internet do Futuro (WPEIF)</em> [Online], (27 maio 2022)