Introducing formal methods through rôle-playing
- Neville Dean
- , Michael G. Hinchey
- Anglia Ruskin University
- University of Cambridge
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review