| |
| 1995 | ||
|---|---|---|
| 2 | Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson: Certification of Computational Results. IEEE Trans. Computers 44(7): 833-847 (1995) | |
| 1993 | ||
| 1 | Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson: Certification Trails and Software Design for Testability. ITC 1993: 200-209 | |
| 1 | Gerald M. Masson | [1] [2] |
| 2 | Gregory F. Sullivan | [1] [2] |