Ahmet Çelik, Karl Palmskog, Milos Gligoric
iCoq: regression proof selection for large-scale verification projects
ASE, 2017.
@inproceedings{ASE-2017-CelikPG, author = "Ahmet Çelik and Karl Palmskog and Milos Gligoric", booktitle = "{Proceedings of the 32nd International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2017.8115630", isbn = "978-1-5386-2684-9", pages = "171--182", publisher = "{IEEE Computer Society}", title = "{iCoq: regression proof selection for large-scale verification projects}", year = 2017, }