Foster, Simon David orcid.org/0000-0002-9889-9514 and Wolff, Burkhart (Accepted: 2023) Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. In: The 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023). IEEE (In Press)
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | 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 |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 17 Apr 2023 13:30 |
Last Modified: | 25 Oct 2024 00:24 |
Status: | In Press |
Publisher: | IEEE |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:198263 |