MARTINI, A. R. Reasoning about Partial Correctness Assertions in Isabelle/HOL. Revista de Informática Teórica e Aplicada, [S. l.], v. 27, n. 3, p. 84–101, 2020. DOI: 10.22456/2175-2745.98483. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_84. Acesso em: 28 mar. 2024.