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