Raj S. Mitra
Strategies for mainstream usage of formal verification
DAC, 2008.
@inproceedings{DAC-2008-Mitra, author = "Raj S. Mitra", booktitle = "{Proceedings of the 45th Design Automation Conference}", doi = "10.1145/1391469.1391674", isbn = "978-1-60558-115-6", pages = "800--805", publisher = "{ACM}", title = "{Strategies for mainstream usage of formal verification}", year = 2008, }