Exploiting refactoring in formal verification.

Xiang Yin, John C. Knight, Westley Weimer

Browse the full DSN paper archive.