Eduardo Sandalo Porto and Ana Cristina Vieira de Melo. 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>, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 178-183. DOI: <a href="https://doi.org/10.5753/sblp.2026.28568">https://doi.org/10.5753/sblp.2026.28568</a>.