Amy Stell -

Not registered as user yet

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