Numerical software with result verification : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers. : Dagstuhl seminar 03041 'numerical software with result verification' : Jan 2003, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2991)
Numerical software with result verification : international Dagstuhl seminar : Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers. : Dagstuhl seminar 03041 'numerical software with result verification' : Jan 2003, Dagstuhl, Germany.