2004
Designers want proofs - but show me the money.
[DOI]
Carl Pixley
,
D. Meyers
,
S. McMaster
,
A. Chittor
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004