OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
CZT Mailing List Archive
This archive is generated manually. I hope to keep it up-to-date, but please let me know of omissions, etc.
2002-08-14.txt
Mark Utting CZT: draft Java class APIs
2002-08-14a.txt
David Currie CZT: Re: draft Java class APIs
2002-08-14b.txt
Frank Rittinger CZT: Announcement: New release of HOL-Z 2.0
2002-08-15.txt
Sun Jing Re: CZT: draft Java class APIs
2002-10-14.txt
David Currie CZT: Example XML Z Schema
2002-10-25.txt
To czt-project@comlab.ox.ac.uk CZT: Progress
2002-10-31.txt
Rob Arthan CZT: OpenProofPower
2002-11-15.txt
Daniel Gross CZT: tools to support proving with Z on Windows platform
Last updated: Mon Jan 6 17:12:37 GMT 2003
Andrew.Martin@comlab.ox.ac.uk