![[IEEE 29th Annual IEEE/NASA Software Engineering Workshop - Greenbelt, MD, USA (06-07 April 2005)] 29th Annual IEEE/NASA Software Engineering Workshop - Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis]()
[IEEE 29th Annual IEEE/NASA Software Engineering Workshop - Greenbelt, MD, USA (06-07 April 2005)] 29th Annual IEEE/NASA Software Engineering Workshop - Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic AnalysisStewart, M.E.M. · 2005