Working with Formal Methods

Authors

John Nicholls, IBM United Kingdom Laboratories, Hursley

Document Type

Research Article

DOI

10.1177/026839628700200203

Recommended Citation

Nicholls, John (1987) "Working with Formal Methods," Journal of Information Technology: Vol. 2: Iss. 2, Article 3.
DOI: 10.1177/026839628700200203
Available at: https://aisel.aisnet.org/jit/vol2/iss2/3