Towards a Method of Programming With Assertions.

David S. Rosenblum

Browse the full ICSE paper archive.