UTC Time, Formally Verified.

Ana de Almeida Borges, Mireia Gonzlez Bedmar, Juan Jos Conejero Rodrguez, Eduardo Hermo Reyes, Joaquim Casals Buuel, Joost J. Joosten

Browse the full CPP paper archive.