Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman. Adapting proof automation to adapt proofs. 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 115-129, ACM, 2018. [doi]
@inproceedings{RingerYLG18,
title = {Adapting proof automation to adapt proofs},
author = {Talia Ringer and Nathaniel Yazdani and John Leo and Dan Grossman},
year = {2018},
doi = {10.1145/3167094},
url = {http://doi.acm.org/10.1145/3167094},
researchr = {https://researchr.org/publication/RingerYLG18},
cites = {0},
citedby = {0},
pages = {115-129},
booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018},
editor = {June Andronick and Amy P. Felty},
publisher = {ACM},
isbn = {978-1-4503-5586-5},
}