Grey-box specifications for object-oriented program components.

Yannick Welsch

Browse the full OOPSLA paper archive.