Program Specialisation, Inductive Theorem Proving and Infinite State Model Checking
https://www.powershow.com/view1/1a3b84-ZDc1Z/Program_Specialisation_Inductive_Theorem_Proving_and_Infinite_State_Model_Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/