J. M. Wing, “A Specifier, Introduction to Formal Methods,” Computer Journal, Vol. 23, No. 9, 1990, pp. 8-24. http://dx.doi.org/10.1109/2.58215
has been cited by the following article:
Related Articles: