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.
Author supplied keywords
Cite
CITATION STYLE
APA
Denvir, T., Oliveira, J., & Plat, N. (2000). The cash-point (ATM) “problem.” Formal Aspects of Computing, 12(4), 211–215. https://doi.org/10.1007/s001650070012
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free