Gauss: A Framework for Verifying Scientific Computing Software
| Autor: | Palmer, Robert, Barrus, Steve, Yang, Yu, Gopalakrishnan, Ganesh, Kirby, Robert M. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 7 February 2006 144(3):95-106 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect