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