The Role of Formal Methods in Software Development

Authors

John McDermid, Department of Computer Science, University of York

Document Type

Research Article

DOI

10.1177/026839628700200305

Recommended Citation

McDermid, John (1987) "The Role of Formal Methods in Software Development," Journal of Information Technology: Vol. 2: Iss. 3, Article 5.
DOI: 10.1177/026839628700200305
Available at: https://aisel.aisnet.org/jit/vol2/iss3/5