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