* Virtual Library * Formal Methods * Z Notation

Z archive comments

Please use the form below to make comments and suggestions concerning the Z archive. Alternatively, you can mail comments to www@comlab.ox.ac.uk. Please note that questions about Z itself are better directed to the comp.specification.z newsgroup or (equivalently) the Z FORUM mailing list.

Name:

Email:

Comments:

To submit your comments, press this button: ...Restart:

A service provided by Jonathan Bowen as part of the Z archive.