Corresponding author: Achim Brucker ( brucker@informatik.uni-freiburg.de ) © Achim Brucker, Frank Rittinger, Burkhart Wolff. This article is freely available under the J.UCS Open Content License. Citation:
Brucker AD, Rittinger F, Wolff B (2003) HOL-Z 2.0: A Proof Environment for Z-Specifications. JUCS - Journal of Universal Computer Science 9(2): 152-172. https://doi.org/10.3217/jucs-009-02-0152 |