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]
Abstract is missing.