Report copyright - On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning Xinyu Feng Yale University Joint work with Rodrigo Ferreira and
Please pass captcha verification before submit form
Please pass captcha verification before submit form