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