Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten. UTC Time, Formally Verified. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 2-13, ACM, 2024. [doi]
@inproceedings{BorgesBRRBJ24,
title = {UTC Time, Formally Verified},
author = {Ana de Almeida Borges and Mireia González Bedmar and Juan José Conejero Rodríguez and Eduardo Hermo Reyes and Joaquim Casals Buñuel and Joost J. Joosten},
year = {2024},
doi = {10.1145/3636501.3636958},
url = {https://doi.org/10.1145/3636501.3636958},
researchr = {https://researchr.org/publication/BorgesBRRBJ24},
cites = {0},
citedby = {0},
pages = {2-13},
booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
editor = {Amin Timany and Dmitriy Traytel and Brigitte Pientka and Sandrine Blazy},
publisher = {ACM},
}