Dias, F., 		Oliveira, M., & 		Lecomte, T.
2025 dez  3.  Bridging the B-Method and ACSL: Towards Verified C Code. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :