Abstraction of programs manipulating pointers using modal logics
https://www.powershow.com/view4/6f5764-ZTY2Y/Abstraction_of_programs_manipulating_pointers_using_modal_logics_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/