Scalable Program Analysis Using Boolean Satisfiability: The Saturn Project
https://www.powershow.com/view/18a6e-NTdjN/Scalable_Program_Analysis_Using_Boolean_Satisfiability_The_Saturn_Project_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
