SERNA M., Edgar; SERNA A., Alexei. Power and limitations of formal methods for software fabrication: Thirty years later. Informatica, [S. l.], v. 41, n. 3, 2017. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1534. Acesso em: 23 jun. 2025.