1 expert in "automated program analysis" found:
Arie Gurfinkel
Expert In:
Automated
program
analysis
Automated
reasoning
Program
Verification
Abstract Interpretation
View Profile