Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ince, D. Formal specification and the production of correct software. The Mathematical Intelligencer 6, 28–31 (1984). https://doi.org/10.1007/BF03024152
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03024152