Martini, A. R. (2020) “Reasoning about Partial Correctness Assertions in Isabelle/HOL”, Revista de Informática Teórica e Aplicada, 27(3), pp. 84–101. doi: 10.22456/2175-2745.98483.