Outcome of a Dagstuhl Seminar: Numerical Software with Result Verification 2003

Languages

Software Systems and Tools

New Verification Techniques Based on Interval Arithmetic

Applications in Science and Engineering

Novel Approaches to Verification