Specifying Multithreaded Java semantics for Program Verification
https://www.powershow.com/view1/24b1ce-ZDc1Z/Specifying_Multithreaded_Java_semantics_for_Program_Verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/