Amy Stell -

Not registered as user

Name:Amy Stell

Affiliation:University of Exeter

Contributions

2024

FormaliSE

Author of Formally Verified Interval Arithmetic and Its Application to Program Verification within the FormaliSE 2024-track