1 expert in "abstract interpretation" found:
Arie Gurfinkel
Expert In:
Abstract
Interpretation
Application security
Automated program analysis
Automated reasoning
View Profile