Specifying Temporal Properties of Software Using the Bandera Specification Language
https://www.powershow.com/view1/201603-ZDc1Z/Specifying_Temporal_Properties_of_Software_Using_the_Bandera_Specification_Language_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
