Modelchecking Concurrent Java Software Using the Bandera Tool Set
https://www.powershow.com/view1/1c425f-ZDc1Z/Modelchecking_Concurrent_Java_Software_Using_the_Bandera_Tool_Set_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
