- Record: found
- Abstract: not found
- Book Chapter: not found
Theorem Proving in Higher Order Logics
A structure preserving encoding of Z in isabelle/HOL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Book: not found
Fundamentals of Algebraic Specification 1
Hartmut Ehrig, Bernd Mahr (1985)
- Record: found
- Abstract: not found
- Book Chapter: not found
Automating the generation and sequencing of test cases from model-based specifications
Jeremy P.R. Dick, Alain Faivre (1993)
- Record: found
- Abstract: not found
- Book Chapter: not found
W: A Logic for Z
J. C. P. Woodcock, S. M. Brien (1992)