@inproceedings{Godlin_2009,
    doi = {10.1145/1629911.1630034},
    url = {https://doi.org/10.1145%2F1629911.1630034},
    year = {2009},
    month = {jul},
    publisher = {{ACM}},
    author = {Benny Godlin and Ofer Strichman},
    title = {Regression verification},
    booktitle = {Proceedings of the 46th Annual Design Automation Conference}
}

@inproceedings{Godlin_2009, doi = {10.1145/1629911.1630034}, url = {https://doi.org/10.1145%2F1629911.1630034}, year = {2009}, month = {jul}, publisher = {{ACM}}, author = {Benny Godlin and Ofer Strichman}, title = {Regression verification}, booktitle = {Proceedings of the 46th Annual Design Automation Conference} }