TY  - CHAP
AU  - Brucker, Achim D.
AU  - Friedrich, Stefan
AU  - Rittinger, Frank
AU  - Wolff, Burkhart
ED  - Haneberg, Dominik
ED  - Schellhorn, Gerhard
ED  - Reif, Wolfgang
PY  - 2002/jul/
TI  - HOL-Z 2.0: A Proof Environment for Z-Specifications
BT  - FM-TOOLS 2002
SP  - 33
EP  - 38
CY  - Augsburg
N2  - We present a proof environment for the specification language Z on top of Isabelle/HOL. It comprises a \LaTeX-based front end (including the integrated type-checker ZETA), generic facilities to generate proof obligations and improved proof support for the logical embedding HOL-Z, namely for the schema-calculus and structural Z proofs.
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-z-2002
L1  - http://www.brucker.ch/bibliography/download/2002/fmtools_holz_02.pdf
N1  - Available as Technical Report, University Augsburg, number 2002?11.
ID  - brucker.ea:hol-z:2002
ER  -