Rosa, Eduardo, 		Cunha, Italo, AND 		Silva, Flávio.
" A Simple Approach to Verify and Debug Data Plane Programs" <em>Proceedings of the Workshop on Experimental Research of the Future Internet (WPEIF)</em> [Online], (27 May 2022)