Boutekkouk, F. (2024). C Software Formal Verification. WiPiEC Journal - Works in Progress in Embedded Computing Journal, 10(1). Retrieved from https://wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53