Merkliste 
 1 Ergebnisse 
 
1

Numerical Software with Result Verification 

International Dagstuhl Seminar, Dagstuhl Castle, Germany, J...  Lecture Notes in Computer Science ; 2991