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