Eduardo Rosa, Italo Cunha, and Flávio Silva. 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>, maio 27, 2022, Fortaleza, Brasil. SBC, Porto Alegre, Brasil, 47-52. DOI: <a href="https://doi.org/10.5753/wpeif.2022.223586">https://doi.org/10.5753/wpeif.2022.223586</a>.