Automatic Data Refinement

Peter Lammich. Automatic Data Refinement. Archive of Formal Proofs, 2013, 2013. [doi]

Abstract

Abstract is missing.