ROSA, Eduardo Castilho; 						CUNHA, Italo Tiago da; 						SILVA, Flávio de Oliveira.
A Simple Approach to Verify and Debug Data Plane Programs. <em>In</em>: WORKSHOP DE PESQUISA EXPERIMENTAL DA INTERNET DO FUTURO (WPEIF), 13.	, 2022, Fortaleza.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2022
.
 p. 47-52. 
			ISSN 2595-2692. 
		DOI: <a href="https://doi.org/10.5753/wpeif.2022.223586">https://doi.org/10.5753/wpeif.2022.223586</a>.