Practical Tactics for Verifying C Programs in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jingyuan Cao, Ming Fu, Xinyu Feng. Practical Tactics for Verifying C Programs in Coq. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 97-108, ACM, 2015. [doi]

This author has not been identified. Look up 'Jingyuan Cao' in GoogleThis author has not been identified. Look up 'Ming Fu' in GoogleThis author has not been identified. Look up 'Xinyu Feng' in Google

runs on WebDSL