Joaquim Casals Buñuel

According to our database¹, Joaquim Casals Buñuel authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

UTC Time, Formally Verified.

[DOI]

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

FV Time: a formally verified Coq library.

[DOI]

CoRR, 2022