Boolean and Cartesian Abstraction for Model Checking C Programs
https://www.powershow.com/view1/89b1c-ZDc1Z/Boolean_and_Cartesian_Abstraction_for_Model_Checking_C_Programs_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/