Umberto Rossi. Can we really do without the support of formal methods in the verification of large designs?. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 672-673, ACM, 2005. [doi]
@inproceedings{Rossi05:0,
title = {Can we really do without the support of formal methods in the verification of large designs?},
author = {Umberto Rossi},
year = {2005},
doi = {10.1145/1065579.1065756},
url = {http://doi.acm.org/10.1145/1065579.1065756},
researchr = {https://researchr.org/publication/Rossi05%3A0},
cites = {0},
citedby = {0},
pages = {672-673},
booktitle = {Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005},
editor = {William H. Joyner Jr. and Grant Martin and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-59593-058-2},
}