Dias, F., 		Oliveira, M., & 		Lecomte, T.
(2025).
 Bridging the B-Method and ACSL: Towards Verified C Code.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 39-60). Porto Alegre: SBC.