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