The HOL-CSP Refinement Toolkit

Safouan Taha, Burkhart Wolff, Lina Ye. The HOL-CSP Refinement Toolkit. Archive of Formal Proofs, 2020, 2020. [doi]

Abstract

Abstract is missing.