Comp.specification.z and Z FORUM Frequently Asked Questions

Jonathan P. Bowen. Comp.specification.z and Z FORUM Frequently Asked Questions. In Jonathan P. Bowen, Michael G. Hinchey, David Till, editors, ZUM 97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Volume 1212 of Lecture Notes in Computer Science, pages 425-433, Springer, 1997.

Abstract

Abstract is missing.