Optics in Isabelle/HOL

Foster, Simon David orcid.org/0000-0002-9889-9514 and Zeyda, Frank (2017) Optics in Isabelle/HOL. Archive of Formal Proofs. pp. 1-28.



Copyright, Publisher and Additional Information: © 2017,The Author(s). 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.
  • Published: 1 June 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 05 Jun 2017 16:00
Last Modified: 07 Sep 2022 11:36
Status: Published
Refereed: Yes
Related URLs:


Share / Export