Efficient Software Model Checking of Data Structure Properties
https://www.powershow.com/view1/d727a-ZDc1Z/Efficient_Software_Model_Checking_of_Data_Structure_Properties_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/