Yannick Forster 0002, Fabian Kunze, Maximilian Wuttke. Verified programming of Turing machines in Coq. In Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. pages 114-128, ACM, 2020. [doi]
@inproceedings{0002KW20-0,
title = {Verified programming of Turing machines in Coq},
author = {Yannick Forster 0002 and Fabian Kunze and Maximilian Wuttke},
year = {2020},
doi = {10.1145/3372885.3373816},
url = {https://doi.org/10.1145/3372885.3373816},
researchr = {https://researchr.org/publication/0002KW20-0},
cites = {0},
citedby = {0},
pages = {114-128},
booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020},
editor = {Jasmin Blanchette and Catalin Hritcu},
publisher = {ACM},
isbn = {978-1-4503-7097-4},
}