Title: Numerical Software with Result Verification
Subjects: Numerical analysis, Computer programs, Congresses, Verification, Computer software