2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…