The Z Specification Language
Introduction
The Language
Methods
Semantics and Proof
Z in HOL
038 Problems with Z (12/03/87)
041 translating Z into HOL (12/07/88)
126 understanding Z review (25/05/88)
127 Oxford presentation (14/06/88)
175 IED ZHOL presentation (21/05/90)
176 Z concrete syntax (04/06/90)
178 ZHOL presentation (II) (11/07/90)
180 remarks on the semantics of Z (21/07/90)
181 review of Diller (19/01/91)
182 Z semantics and proof FM forum presentation (11/09/90)
185 Z - semantics, rules, tools - an update (13/06/91)
189 Comments on Z standard (01/07/91)
The Language

up quick index © RBJ

privacy policy

Created:2012-05-05

$Id: da001.xml,v 1.1 2012/06/03 21:32:25 rbj Exp $

V