Triangulating context lemmas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Craig McLaughlin, James McKinna, Ian Stark. Triangulating context lemmas. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 102-114, ACM, 2018. [doi]

This author has not been identified. Look up 'Craig McLaughlin' in GoogleThis author has not been identified. Look up 'James McKinna' in GoogleThis author has not been identified. Look up 'Ian Stark' in Google

runs on WebDSL