Building a refinement checker for Z

This is a preprint and may not have undergone formal peer review

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (Submitted: 2011) Building a refinement checker for Z. [Preprint - arXiv] (Submitted)

Abstract

Metadata

Item Type: Preprint
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2011 The Author(s). For reuse permissions, please contact the Author(s).

Dates:
  • Submitted: 21 June 2011
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 22 Jun 2023 14:47
Last Modified: 22 Jun 2023 14:47
Status: Submitted
Refereed: Yes
Identification Number: 10.48550/arXiv.1106.4092
Open Archives Initiative ID (OAI ID):

Export

Statistics