@inproceedings{winters-iccd2000, author = "Brian D. Winters and Alan J. Hu", title = "Source-Level Transformations for Improved Formal Verification", booktitle = "International Conference on Computer Design", organization = "IEEE", month = Sep, year = "2000", pages = "599--602" }