Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.

Simon Foster, Burkhart Wolff

Browse the full ICECCS paper archive.