Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
Formal verification — prove it or pitch it
DAC, 2003.
@inproceedings{DAC-2003-GuptaRSBBFPOS,
author = "Rajesh K. Gupta and Shishpal Rawat and Sandeep K. Shukla and Brian Bailey and Daniel K. Beece and Masahiro Fujita and Carl Pixley and John O'Leary and Fabio Somenzi",
booktitle = "{Proceedings of the 40th Design Automation Conference}",
doi = "10.1145/775832.776013",
isbn = "1-58113-688-9",
pages = "710--711",
publisher = "{ACM}",
title = "{Formal verification — prove it or pitch it}",
year = 2003,
}