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