Formal Specification in Basic Education: What Does It Take? - Braz Araujo da Silva Junior; Simone André da Costa Cavalheiro; Luciana Foss; Júlia Veiga da Silva (FIE, 2023)