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