Porto, Eduardo Sandalo, E 		Melo, Ana Cristina Vieira de.
" Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)