A Hybrid SAT-based Decision Procedure for Separation Logic with Uninterpreted Functions
https://www.powershow.com/view1/26101f-ZDc1Z/A_Hybrid_SAT-based_Decision_Procedure_for_Separation_Logic_with_Uninterpreted_Functions_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
