Verifying C11 programs operationally - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick. Verifying C11 programs operationally. In Jeffrey K. Hollingsworth, Idit Keidar, editors, Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. pages 355-365, ACM, 2019. [doi]

This author has not been identified. Look up 'Simon Doherty' in GoogleThis author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in GoogleThis author has not been identified. Look up 'John Derrick' in Google

runs on WebDSL