Report copyright - Runtime Refinement Checking of Concurrent Data Structures (the VYRD project) Serdar Tasiran Koç University, Istanbul, Turkey Shaz Qadeer Microsoft Research,
Please pass captcha verification before submit form
Please pass captcha verification before submit form