Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. Verifying traits: a proof system for fine-grained reuse. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
@inproceedings{DamianiDJS11,
title = {Verifying traits: a proof system for fine-grained reuse},
author = {Ferruccio Damiani and Johan Dovland and Einar Broch Johnsen and Ina Schaefer},
year = {2011},
doi = {10.1145/2076674.2076682},
url = {http://doi.acm.org/10.1145/2076674.2076682},
researchr = {https://researchr.org/publication/DamianiDJS11},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
editor = {Stephen N. Freund},
publisher = {ACM},
isbn = {978-1-4503-0893-9},
}