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