Information Hiding and Visibility in Interface Specifications.

Gary T. Leavens, Peter Mller

Browse the full ICSE paper archive.