Ovini V. W. Gunasekera

According to our database, Ovini V. W. Gunasekera authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Real Arithmetic in TLAPM.

Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024