Porto, E., & 		Melo, A.
2026 set  8.  Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :