Power and Limitations of Formal Methods for Software Fabrication

Authors

Michael Jackson, Michael Jackson Systems Ltd

Document Type

Research Article

DOI

10.1177/026839628700200204

Recommended Citation

Jackson, Michael (1987) "Power and Limitations of Formal Methods for Software Fabrication," Journal of Information Technology: Vol. 2: Iss. 2, Article 4.
DOI: 10.1177/026839628700200204
Available at: https://aisel.aisnet.org/jit/vol2/iss2/4