Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson. Strong and weak contract formalism for third-party component reuse. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings. pages 359-364, IEEE, 2013. [doi]
@inproceedings{SljivoGCH13,
title = {Strong and weak contract formalism for third-party component reuse},
author = {Irfan Sljivo and Barbara Gallina and Jan Carlson and Hans Hansson},
year = {2013},
doi = {10.1109/ISSREW.2013.6688921},
url = {http://dx.doi.org/10.1109/ISSREW.2013.6688921},
researchr = {https://researchr.org/publication/SljivoGCH13},
cites = {0},
citedby = {0},
pages = {359-364},
booktitle = {IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings},
publisher = {IEEE},
}