Boutekkouk, F. 2024. C Software Formal Verification. WiPiEC Journal - Works in Progress in Embedded Computing Journal. 10, 1 (Mar. 2024), 4. DOI:https://doi.org/10.64552/wipiec.v10i1.53.