Complx: a verification framework for concurrent imperative programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong. Complx: a verification framework for concurrent imperative programs. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 138-150, ACM, 2017. [doi]

This author has not been identified. Look up 'Sidney Amani' in GoogleThis author has not been identified. Look up 'June Andronick' in GoogleThis author has not been identified. Look up 'Maksym Bortin' in GoogleThis author has not been identified. Look up 'Corey Lewis' in GoogleThis author has not been identified. Look up 'Christine Rizkallah' in GoogleThis author has not been identified. Look up 'Joseph Tuong' in Google

runs on WebDSL