Modelling the Turtle Python library in CSP. MacConville, D., Farrell, M., Luckcuck, M., & Monahan, R. Electronic Proceedings in Theoretical Computer Science, 362:15–22, Open Publishing Association, July, 2022. ![Modelling the Turtle Python library in CSP [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{MacConville2022,
doi = {10.4204/eptcs.362.4},
url = {https://doi.org/10.4204/eptcs.362.4},
year = {2022},
month = jul,
publisher = {Open Publishing Association},
volume = {362},
pages = {15--22},
author = {Dara MacConville and Marie Farrell and Matt Luckcuck and Rosemary Monahan},
title = {Modelling the Turtle Python library in {CSP}},
journal = {Electronic Proceedings in Theoretical Computer Science}
}
Downloads: 0
{"_id":"nWK5e2ThdgAkWTCQE","bibbaseid":"macconville-farrell-luckcuck-monahan-modellingtheturtlepythonlibraryincsp-2022","author_short":["MacConville, D.","Farrell, M.","Luckcuck, M.","Monahan, R."],"bibdata":{"bibtype":"article","type":"article","doi":"10.4204/eptcs.362.4","url":"https://doi.org/10.4204/eptcs.362.4","year":"2022","month":"July","publisher":"Open Publishing Association","volume":"362","pages":"15–22","author":[{"firstnames":["Dara"],"propositions":[],"lastnames":["MacConville"],"suffixes":[]},{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Rosemary"],"propositions":[],"lastnames":["Monahan"],"suffixes":[]}],"title":"Modelling the Turtle Python library in CSP","journal":"Electronic Proceedings in Theoretical Computer Science","bibtex":"@article{MacConville2022,\n doi = {10.4204/eptcs.362.4},\n url = {https://doi.org/10.4204/eptcs.362.4},\n year = {2022},\n month = jul,\n publisher = {Open Publishing Association},\n volume = {362},\n pages = {15--22},\n author = {Dara MacConville and Marie Farrell and Matt Luckcuck and Rosemary Monahan},\n title = {Modelling the Turtle Python library in {CSP}},\n journal = {Electronic Proceedings in Theoretical Computer Science}\n}\n\n","author_short":["MacConville, D.","Farrell, M.","Luckcuck, M.","Monahan, R."],"key":"MacConville2022","id":"MacConville2022","bibbaseid":"macconville-farrell-luckcuck-monahan-modellingtheturtlepythonlibraryincsp-2022","role":"author","urls":{"Paper":"https://doi.org/10.4204/eptcs.362.4"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["djqmTdTtLoYefofC8","BJmNrTjuXLNiSJTrn","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":[],"search_terms":["modelling","turtle","python","library","csp","macconville","farrell","luckcuck","monahan"],"title":"Modelling the Turtle Python library in CSP","year":2022}