F. Boutekkouk, “C Software Formal Verification”, wipiec, vol. 10, no. 1, Mar. 2024.