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