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