Teddy Cameron-Burke

Orcid: 0000-0002-5085-4560

According to our database¹, Teddy Cameron-Burke authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Formally Verified Interval Arithmetic and Its Application to Program Verification.

[DOI]

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024