Putting assertions in their place.

Jeffrey M. Voas, Keith W. Miller

Browse the full ISSRE paper archive.