Experts
1 result for "Abstract interpretation":
Arie Gurfinkel
Expert In:
Abstract
Interpretation
Application security
Automated program analysis
Automated reasoning
View Profile