Report copyright - Volume 5, Issue 5, May 2015...Volume 5, Issue 5, May 2015 Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar15191) LarsBirkedal,DerekDreyer,PhilippaGardner,andZhongShao
Please pass captcha verification before submit form