• 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

View all (1) »