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