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