Formal Methods: A Commentary

Authors

Tom Maibaum
Martin Sadler

Document Type

Research Article

DOI

10.1177/026839628700200205

Recommended Citation

Maibaum, Tom and Sadler, Martin (1987) "Formal Methods: A Commentary," Journal of Information Technology: Vol. 2: Iss. 2, Article 5.
DOI: 10.1177/026839628700200205
Available at: https://aisel.aisnet.org/jit/vol2/iss2/5