The Cash-Point (ATM) Problem

Citation:
Denvir T, Oliveira JN, Plat N.  2000.  The Cash-Point (ATM) Problem. Formal Aspects of Computing. 12:211–215.

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.

Citation Key:

DOP00

DOI:

10.1007/s001650070012