Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
https://www.powershow.com/view1/d392b-ZDc1Z/Path-Sensitive_Analysis_for_Linear_Arithmetic_and_Uninterpreted_Functions_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
