Concerning Quality| concerningquality.com
The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods| concerningquality.com
The Case for Models| concerningquality.com
Extracting a Verified Interpreter from Isabelle/HOL| concerningquality.com