Refinement to Imperative HOL

Peter Lammich. Refinement to Imperative HOL. Journal of Automated Reasoning, 62(4):481-503, 2019. [doi]

Abstract

Abstract is missing.