Department of Computer Science
University of York
York, England YO1 5DD
Index for ftp.cs.york.ac.uk: YSE
- contact: York Software Engineering, Limited
<yse@minster.york.ac.uk>
- file: hia-wp1.ps.Z
- file: hia-wp2.ps.Z
- file: hia-wp3.ps.Z
- file: hia-wp4.ps.Z
- file: hia-wp4s.ps.Z
- file: zeta-guide.ps.Z
- file: formal-develop-guide.ps.Z
- glossary/thesaurus of terms used in this index