@InCollection{ brucker.ea:hol-z:2002, url = {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-z-2002} , author = {Achim D. Brucker and Stefan Friedrich and Frank Rittinger and Burkhart Wolff}, title = {{HOL}-{Z} 2.0: A Proof Environment for Z-Specifications}, editor = {Dominik Haneberg and Gerhard Schellhorn and Wolfgang Reif}, booktitle = {FMTOOLS 2002}, classification= {proceedings}, year = 2002, series = {Technical Report}, pages = {33--38}, month = jul, number = {2002--11}, organization = {University Augsburg}, address = {Augsburg}, pdf = {http://www.brucker.ch/bibliography/download/2002/fmtools_holz_02.pdf} , language = {USenglish}, abstract = {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. }, project = {FSA} }