Fagner Dias, Marcel Oliveira, and Thierry Lecomte. 2025.
 Bridging the B-Method and ACSL: Towards Verified C Code. In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, dezembro 03, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 39-60.