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 proceedingConference contribution

Original languageEnglish
Title of host publicationThe 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023)
PublisherIEEE
Publication statusAccepted/In press - 16 Mar 2023

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Cite this