View of Reasoning about Partial Correctness Assertions in Isabelle/HOL

Return to Article Details Reasoning about Partial Correctness Assertions in Isabelle/HOL Download Download PDF