| |
| 2006 | ||
|---|---|---|
| 1 | EE | Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006) |
| 1 | Ganesh Gopalakrishnan | [1] |
| 2 | Robert M. Kirby (Mike Kirby) | [1] |
| 3 | Robert Palmer | [1] |
| 4 | Yu Yang | [1] |