Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jackson, M. Power and Limitations of Formal Methods for Software Fabrication. J Inf Technol 2, 72–76 (1987). https://doi.org/10.1057/jit.1987.14
Published:
Issue Date:
DOI: https://doi.org/10.1057/jit.1987.14