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]](https://eprints.lancs.ac.uk/style/images/fileicons/text.png)
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:
16 Jul 2024 05:26