Items where Author is "Gunasekera, Ovini"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)