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]
@inproceedings{RebeloLL13,
title = {Client-aware checking and information hiding in interface specifications with JML/ajmlc},
author = {Henrique Rebêlo and Gary T. Leavens and Ricardo Massa Ferreira Lima},
year = {2013},
doi = {10.1145/2508075.2514569},
url = {http://doi.acm.org/10.1145/2508075.2514569},
researchr = {https://researchr.org/publication/RebeloLL13},
cites = {0},
citedby = {0},
pages = {11-12},
booktitle = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume},
editor = {Antony L. Hosking and Patrick Th. Eugster},
publisher = {ACM},
isbn = {978-1-4503-1995-9},
}