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