Login / Signup
Gauss: A Framework for Verifying Scientific Computing Software.
Robert Palmer
Steve Barrus
Yu Yang
Ganesh Gopalakrishnan
Robert M. Kirby
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
scientific computing
real time
high performance computing
conceptual framework