@inproceedings{Celik_2017,
    doi = {10.1109/ase.2017.8115630},
    url = {https://doi.org/10.1109%2Fase.2017.8115630},
    year = {2017},
    month = {oct},
    publisher = {{IEEE}},
    author = {Ahmet Celik and Karl Palmskog and Milos Gligoric},
    title = {{ICoq}: Regression proof selection for large-scale verification projects},
    booktitle = {2017 32nd {IEEE}/{ACM} International Conference on Automated Software Engineering ({ASE})}
}

@inproceedings{Celik_2017, doi = {10.1109/ase.2017.8115630}, url = {https://doi.org/10.1109%2Fase.2017.8115630}, year = {2017}, month = {oct}, publisher = {{IEEE}}, author = {Ahmet Celik and Karl Palmskog and Milos Gligoric}, title = {{ICoq}: Regression proof selection for large-scale verification projects}, booktitle = {2017 32nd {IEEE}/{ACM} International Conference on Automated Software Engineering ({ASE})} }