Real Arithmetic in TLAPM

Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)

[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM) - Accepted Version
Download (0B)
[thumbnail of NFM_2024_CM]
Text (NFM_2024_CM)
NFM_2024_CM.pdf - Accepted Version

Download (436kB)
Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
Research Output Funding/yes_externally_funded
Subjects:
?? yes - externally fundedno ??
ID Code:
216535
Deposited By:
Deposited On:
21 May 2024 09:55
Refereed?:
Yes
Published?:
In Press
Last Modified:
18 Jun 2024 23:48