Carl Pixley, D. Meyers, S. McMaster, A. Chittor. Designers want proofs - but show me the money. In 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. pages 153-154, IEEE, 2004. [doi]
@inproceedings{PixleyMMC04,
title = {Designers want proofs - but show me the money},
author = {Carl Pixley and D. Meyers and S. McMaster and A. Chittor},
year = {2004},
doi = {10.1109/MEMCOD.2004.1459842},
url = {http://dx.doi.org/10.1109/MEMCOD.2004.1459842},
researchr = {https://researchr.org/publication/PixleyMMC04},
cites = {0},
citedby = {0},
pages = {153-154},
booktitle = {2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings},
publisher = {IEEE},
}