Abstract.
This paper provides a description and summary of the solutions submitted to a competition in formal specification, which was held during FM'99 in Toulouse, September 1999.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Denvir, T., Oliveira, J. & Plat, N. The Cash-Point (ATM) ‘Problem’. Form Aspects Comput 12, 211–215 (2000). https://doi.org/10.1007/s001650070012
Issue Date:
DOI: https://doi.org/10.1007/s001650070012