Henrique Rebêlo, Gary T. Leavens. Enforcing information hiding in interface specifications: a client-aware checking approach. In Robert B. France, Sudipto Ghosh, Gary T. Leavens, editors, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. pages 47-51, ACM, 2015. [doi]
Abstract is missing.