Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003, Revised Papers Book Discussion
Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003, Revised Papers (ebook)
by
