Specifying Multithreaded Java semantics for Program Verification
https://www.powershow.com/view/24b03e-NTk0Z/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/