Certified Code Generation in Isabelle/HOL

A1216674d5c9747bcdcc716872439137?s=47 Lars Hupel
August 19, 2014

Certified Code Generation inĀ Isabelle/HOL

A1216674d5c9747bcdcc716872439137?s=128

Lars Hupel

August 19, 2014
Tweet