Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 1-326, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{edwards_et_al:OASIcs.Programming.2025, title = {{OASIcs, Volume 134, Programming 2025, Complete Volume}}, booktitle = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)}, pages = {1--326}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-382-9}, ISSN = {2190-6807}, year = {2025}, volume = {134}, editor = {Edwards, Jonathan and Perera, Roly and Petricek, Tomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025}, URN = {urn:nbn:de:0030-drops-247027}, doi = {10.4230/OASIcs.Programming.2025}, annote = {Keywords: OASIcs, Volume 134, Programming 2025, Complete Volume} }
Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 0:i-0:xxii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{edwards_et_al:OASIcs.Programming.2025.0, author = {Edwards, Jonathan and Perera, Roly and Petricek, Tomas}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)}, pages = {0:i--0:xxii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-382-9}, ISSN = {2190-6807}, year = {2025}, volume = {134}, editor = {Edwards, Jonathan and Perera, Roly and Petricek, Tomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.0}, URN = {urn:nbn:de:0030-drops-247014}, doi = {10.4230/OASIcs.Programming.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Feedback for Dagstuhl Publishing