@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"
}