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