David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
Formal verification methods: getting around the brick wall
DAC, 2002.
@inproceedings{DAC-2002-DillJRBFFRSW,
author = "David L. Dill and Nate James and Shishpal Rawat and Gérard Berry and Limor Fix and Harry Foster and Rajeev K. Ranjan and Gunnar Stålmarck and Curt Widdoes",
booktitle = "{Proceedings of the 39th Design Automation Conference}",
doi = "10.1145/513918.514064",
isbn = "1-58113-461-4",
pages = "576--577",
publisher = "{ACM}",
title = "{Formal verification methods: getting around the brick wall}",
year = 2002,
}