An Approach to providing Support Tools for Formal Specification.

J. J. Masterson, K. P. Ishaq, A. T. Hockley

Browse the full FORTE paper archive.