Porto, E., & 		Melo, A.
(2026).
 Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 178-183). Porto Alegre: SBC.
doi:10.5753/sblp.2026.28568