Code for Lecture 2 - Formal Tools and HCI Concepts
atm-0.csp
atm-1.csp
atm-2.csp
atm-machine.csp
atm-machine-new.csp
atm-user.csp