Client-aware checking and information hiding in interface specifications with JML/ajmlc.

Henrique Reblo, Gary T. Leavens, Ricardo Massa Ferreira Lima

Browse the full OOPSLA paper archive.