Static Specification Analysis for Termination of SpecificationBased Data Structure Repair
https://www.powershow.com/view1/4c1a2-ZDc1Z/Static_Specification_Analysis_for_Termination_of_SpecificationBased_Data_Structure_Repair_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
