Concepedia

Publication | Open Access

The Cash-Point (ATM) ‘Problem’

DOIFull Paper Access

16

Citations

0

References

2000

Year

Tim Denvir, José N. Oliveira, Nico Plat
Formal Aspects of Computing

Abstract

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.