1.
Martini AR. Reasoning about Partial Correctness Assertions in Isabelle/HOL. RITA [Internet]. 2020 Jun. 18 [cited 2024 Mar. 28];27(3):84-101. Available from: https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_84