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]
Abstract is missing.