Tools%20for%20Specification,%20Verification,%20and%20Synthesis%20of%20Concurrency%20Control%20Components
https://powershow.com/view1/c4df0-ZDc1Z/Tools_20for_20Specification_20Verification_20and_20Synthesis_20of_20Concurrency_20Control_20Components
Icons create by Freepik from www.flaticon.com/
