A regression proof selection tool for coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmet Çelik, Karl Palmskog, Milos Gligoric. A regression proof selection tool for coq. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 117-120, ACM, 2018. [doi]

This author has not been identified. Look up 'Ahmet Çelik' in GoogleThis author has not been identified. Look up 'Karl Palmskog' in GoogleThis author has not been identified. Look up 'Milos Gligoric' in Google

runs on WebDSL