13 citations · 70 across the 51 of their papers we have counts for
1 paper · 1 filter
Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez +3
FV Time is a small-scale verification project developed in the Coq proof assistant using the Mathematical Components libraries. It is a library for managing conversions between tim…