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