State-Event Software Verification for Branching-Time Specifications
https://www.powershow.com/view1/89c9a-ZDc1Z/State-Event_Software_Verification_for_Branching-Time_Specifications_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
