EasyChair Smart Slide
Verifying Numerical Programs via Iterative Abstract Testing
Verifying Numerical Programs via Iterative Abstract Testing