FV Time: a formally verified Coq library. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CoRR, 2022)

UTC Time, Formally Verified. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CPP, 2024)