Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso
Is methodology the highway out of verification hell?
DAC, 2005.
@inproceedings{DAC-2005-BacchiniMFBNMD,
author = "Francine Bacchini and Gabe Moretti and Harry Foster and Janick Bergeron and Masayuki Nakamura and Shrenik Mehta and Laurent Ducousso",
booktitle = "{Proceedings of the 42nd Design Automation Conference}",
doi = "10.1145/1065579.1065714",
isbn = "1-59593-058-2",
pages = "521--522",
publisher = "{ACM}",
title = "{Is methodology the highway out of verification hell?}",
year = 2005,
}