Xiang Yin, John C. Knight, Westley Weimer. Exploiting refactoring in formal verification. In Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009. pages 53-62, IEEE, 2009. [doi]
@inproceedings{YinKW09, title = {Exploiting refactoring in formal verification}, author = {Xiang Yin and John C. Knight and Westley Weimer}, year = {2009}, doi = {10.1109/DSN.2009.5270355}, url = {http://dx.doi.org/10.1109/DSN.2009.5270355}, tags = {refactoring, C++}, researchr = {https://researchr.org/publication/YinKW09}, cites = {0}, citedby = {0}, pages = {53-62}, booktitle = {Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009}, publisher = {IEEE}, }