1 expert in "automated program analysis" found:
Arie Gurfinkel
Expert In:
Automated
program
analysis
Automated
rqeasoning
Abstract interpretation
Application security
View Profile