An Approach to providing Support Tools for Formal Specification

• Authors:

• J. J. Masterson;K. P. Ishaq;A. T. Hockley

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the First International Conference on Formal Description Techniques
• Year:
• 1988