| |
| 2005 | ||
|---|---|---|
| 3 | EE | Mark E. M. Stewart: Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. SEW 2005: 89-96 |
| 2001 | ||
| 2 | EE | Mark E. M. Stewart: Automated Analysis of Scientific and Engineering Semantics. IWPC 2001: 113-114 |
| 2000 | ||
| 1 | EE | Mark E. M. Stewart: An Experiment in Scientific Program Understanding. ASE 2000: 281-284 |