Checking Strong Specifications Using an Extensible Software Model Checking Framework
https://www.powershow.com/view/23aa16-MjkxN/Checking_Strong_Specifications_Using_an_Extensible_Software_Model_Checking_Framework_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
