ICoq: Regression proof selection for large-scale verification projects | IEEE Conference Publication | IEEE Xplore