J. Gustafson
Computational Verifiability of the ASCI Program
IEEE Computational Science & Engineering, March - June 1998
HTML
Back to home page
Back to publications page