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