Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. Formally Verified Interval Arithmetic and Its Application to Program Verification. In Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes, editors, Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. pages 111-121, ACM, 2024. [doi]
Abstract is missing.