Model%20construction%20and%20verification%20for%20dynamic%20programming%20languages
https://www.powershow.com/view1/d4258-ZDc1Z/Model_20construction_20and_20verification_20for_20dynamic_20programming_20languages_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
