Martini, Alfio Ricardo. 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.