%0 Conference Paper %1 conf/oopsla/RebeloLL13 %A Rebêlo, Henrique %A Leavens, Gary T. %A Lima, Ricardo Massa Ferreira %B SPLASH (Companion Volume) %D 2013 %E Hosking, Antony L. %E Eugster, Patrick Th. %I ACM %K dblp %P 11-12 %T Client-aware checking and information hiding in interface specifications with JML/ajmlc. %U http://dblp.uni-trier.de/db/conf/oopsla/splash2013c.html#RebeloLL13 %@ 978-1-4503-1995-9

@inproceedings{conf/oopsla/RebeloLL13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Rebêlo, Henrique and Leavens, Gary T. and Lima, Ricardo Massa Ferreira}, biburl = {https://www.bibsonomy.org/bibtex/27f74aaea5c46242836f0ff40f760dde9/dblp}, booktitle = {SPLASH (Companion Volume)}, crossref = {conf/oopsla/2013c}, editor = {Hosking, Antony L. and Eugster, Patrick Th.}, ee = {https://doi.org/10.1145/2508075.2514569}, interhash = {df5ef41c9f24335bd6e5a1190269b763}, intrahash = {7f74aaea5c46242836f0ff40f760dde9}, isbn = {978-1-4503-1995-9}, keywords = {dblp}, pages = {11-12}, publisher = {ACM}, timestamp = {2024-04-09T11:44:30.000+0200}, title = {Client-aware checking and information hiding in interface specifications with JML/ajmlc.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/splash2013c.html#RebeloLL13}, year = 2013 }