Symbolically Computing MostPrecise Abstract Operations for Shape Analysis
https://www.powershow.com/view/2334f9-YjE1Z/Symbolically_Computing_MostPrecise_Abstract_Operations_for_Shape_Analysis_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
