Journal article
Formal Methods: A Commentary
Authors
Maibaum T; Sadler M
Journal
Journal of Information Technology, Vol. 2, No. 2, pp. 77–80
Publisher
SAGE Publications
Publication Date
June 1987
DOI
10.1057/jit.1987.15
ISSN
0268-3962
Experts has a new look! Let us know what you think of the updates.
Provide feedback