Dias, F., 		Oliveira, M., & 		Lecomte, T.
2025 Dec  3.  Bridging the B-Method and ACSL: Towards Verified C Code. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :