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