Some usability hypotheses for verification.

David J. Pearce

Browse the full OOPSLA paper archive.