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