Home > Research > Publications & Outputs > Real Arithmetic in TLAPM

Research

Associated organisational units

Electronic data

  • NFM_2024_CM

    Accepted author manuscript, 426 KB, PDF document

View graph of relations

Real Arithmetic in TLAPM

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

Forthcoming
Publication date21/02/2024
Host publicationNASA Formal Methods 2024
<mark>Original language</mark>English