Boutekkouk F. C Software Formal Verification. wipiec [Internet]. 2024 Mar. 12 [cited 2026 Feb. 9];10(1):4. Available from: https://www.wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53