BOUTEKKOUK, F. C Software Formal Verification. WiPiEC Journal - Works in Progress in Embedded Computing Journal, [S. l.], v. 10, n. 1, p. 4, 2024. Disponível em: https://www.wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53. Acesso em: 3 aug. 2025.