Martin Desharnais: A Generic Framework for Verified Compilers Using Isabelle/HOL's…  (Isabelle 2020)
Channel: IJCAR-FSCD 2020
Date: 2020-07-21

Martin Desharnais: A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales
Presented at the Isabelle Workshop 2020, June 30, 2020