Specification, Verification, and Synthesis of Concurrency Control Components
https://www.powershow.com/view/9cc3a-MDNhM/Specification_Verification_and_Synthesis_of_Concurrency_Control_Components_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
