Martini, Alfio Ricardo, Av. Marechal Andrea 11/210, Porto Alegre/RS/Brasil, Brazil
-
Revista de Informática Teórica e Aplicada Vol. 27 No. 3 (2020) - Selected Papers - WEIT 2019
Reasoning about Partial Correctness Assertions in Isabelle/HOL
Abstract PDF