Achim D. Brucker -

Registered user since Mon 29 Jan 2024

Name:Achim D. Brucker

Affiliation:University of Exeter

Contributions

2024

FormaliSE

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