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.

Abstract

Metadata

Item Type: Article
Authors/Creators:
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.

Dates:
  • Published: 1 June 2017
  • Accepted: 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: 16 Oct 2024 13:49
Status: Published
Refereed: Yes
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics