Skip to main content

Card games as pointer structures: case studies in mobile CSP modelling

A.W. Roscoe

Year
2016