by Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Reference:
Verifying component and connector models against crosscutting structural views (Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe), In ICSE, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/icse/MaozRR14, author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe}, title = {Verifying component and connector models against crosscutting structural views}, booktitle = {ICSE}, year = {2014}, pages = {95-105}, ee = {http://doi.acm.org/10.1145/2568225.2568237}, crossref = {DBLP:conf/icse/2014}, bibsource = {DBLP, http://dblp.uni-trier.de} }