Boutekkouk, F. (2024) “C Software Formal Verification”, WiPiEC Journal - Works in Progress in Embedded Computing Journal, 10(1), p. 4. Available at: https://www.wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53 (Accessed: 3 August 2025).