External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima. Client-aware checking and information hiding in interface specifications with JML/ajmlc. In Antony L. Hosking, Patrick Th. Eugster, editors, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume. pages 11-12, ACM, 2013. [doi]

Authors

Henrique Rebêlo

This author has not been identified. Look up 'Henrique Rebêlo' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Ricardo Massa Ferreira Lima

This author has not been identified. Look up 'Ricardo Massa Ferreira Lima' in Google
runs on