A structure preserving encoding of Z in isabelle/HOL
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 283-298
- https://doi.org/10.1007/bfb0105411
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automating the generation and sequencing of test cases from model-based specificationsPublished by Springer Nature ,2005
- Correct and user-friendly implementations of transformation systemsPublished by Springer Nature ,1996
- Z-Notation V1.1Published by Defense Technical Information Center (DTIC) ,1995
- IsabellePublished by Springer Nature ,1994
- Formalizing a Hierarchical Structure of Practical Mathematical ReasoningJournal of Logic and Computation, 1993
- W: A Logic for ZPublished by Springer Nature ,1992
- Z and EvesPublished by Springer Nature ,1992
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985