Embedding instructive assertions in program design.

David Ginat

Browse the full ITiCSE paper archive.