TY  - RPRT
TI  - UTC Time, Formally Verified
AU  - Ana de Almeida Borges
AU  - Mireia González Bedmar
AU  - Juan Conejero Rodríguez
AU  - Eduardo Hermo Reyes
AU  - Joaquim Casals Buñuel
AU  - Joost J. Joosten
PY  - 2023
DO  - 10.1145/3636501.3636958
UR  - https://arxiv.org/abs/2209.14227
ID  - 2209.14227
ER  -