Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
Word Level Model Checking — Avoiding the Pentium FDIV Error
DAC, 1996.
@inproceedings{DAC-1996-ClarkeKZ,
author = "Edmund M. Clarke and Manpreet Khaira and Xudong Zhao",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240640",
isbn = "0-89791-779-0",
pages = "645--648",
publisher = "{ACM Press}",
title = "{Word Level Model Checking — Avoiding the Pentium FDIV Error}",
year = 1996,
}