TY  - RPRT
TI  - Modelling the Turtle Python library in CSP
AU  - Dara MacConville
AU  - Marie Farrell
AU  - Matt Luckcuck
AU  - Rosemary Monahan
PY  - 2022
DO  - 10.4204/eptcs.362.4
UR  - https://arxiv.org/abs/2207.09706
ID  - 2207.09706
ER  -