Home > Research > Researchers > Miss Ovini Gunasekera > Publications

Research

Ovini Gunasekera

Research student

1 - 1 out of 1Page size: 100
RSS feed of this list
  1. 2024
  2. Forthcoming

    Real Arithmetic in TLAPM

    Gunasekera, O., Sogokon, A., Gouglidis, A. & Suri, N., 21/02/2024, (Accepted/In press) NASA Formal Methods 2024.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Back to top