Alt, René..Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /.Springer,,c2004..
Alt, Helmut,,Ferriera, Afonso..STACS 2002 : 19th annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins, France, March 14-16, 2002 proceedings /.Springer,,2002..