Abstraction and Modular Reasoning for the Verification of Software
https://www.powershow.com/view1/f31c0-ZDc1Z/Abstraction_and_Modular_Reasoning_for_the_Verification_of_Software_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
