Designers want proofs - but show me the money.

Carl Pixley, D. Meyers, S. McMaster, A. Chittor

Browse the full MEMOCODE paper archive.