Experiments with the Z Interchange Format and SGML

• Authors:

• Daniel M. Germán;Donald D. Cowan

• Affiliations:

• -;-

• Venue:
• ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
• Year:
• 1995