National Science Foundation (U.S.). (Deep and Scalable Analysis of Software) (Grant number 0541183)
['Joseph P. Near', 'Aleksandar Milicevic', 'Eunsuk Kang', 'Daniel Jackson']
A lightweight code analysis and its role in evaluation of a dependability case