Dias, Fagner, 		Oliveira, Marcel, E 		Lecomte, Thierry.
" Bridging the B-Method and ACSL: Towards Verified C Code" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)