Jonathan Edwards, Roly Perera, Tomas Petricek 0001, editors, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia. Volume 134 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Conference: Programming2025
@proceedings{programming-2025,
title = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia},
year = {2025},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-382-9},
researchr = {https://researchr.org/publication/programming-2025},
cites = {0},
citedby = {0},
booktitle = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia},
conference = {Programming},
editor = {Jonathan Edwards and Roly Perera and Tomas Petricek 0001},
volume = {134},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-382-9},
}