Original language | English |
---|---|
Title of host publication | The 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023) |
Publisher | IEEE |
Publication status | Accepted/In press - 16 Mar 2023 |
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
Simon David Foster*, Burkhart Wolff
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution