Articles
Data refinement in Isabelle/HOL
heise Developer, May 2019 (Josef Adersberger, Alex Krause) View article