Report copyright - Correct-by-Construction Concurrency: using Dependent Types ... · Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage
Please pass captcha verification before submit form
Please pass captcha verification before submit form