Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri. Real Arithmetic in TLAPM. In Nathaniel Benz, Divya Gopinath, Nija Shi, editors, NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Volume 14627 of Lecture Notes in Computer Science, pages 136-143, Springer, 2024. [doi]
Abstract is missing.