%0 Journal Article %1 journals/sttt/TrofinM08 %A Trofin, Mircea %A Murphy, John %D 2008 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 247-261 %T Static verification of component composition in contextual composition frameworks. %U http://dblp.uni-trier.de/db/journals/sttt/sttt10.html#TrofinM08 %V 10

@article{journals/sttt/TrofinM08, added-at = {2020-04-02T00:00:00.000+0200}, author = {Trofin, Mircea and Murphy, John}, biburl = {https://www.bibsonomy.org/bibtex/21e2b2027b509f1179b851d4ed073e349/dblp}, ee = {https://doi.org/10.1007/s10009-007-0061-y}, interhash = {3995a2105dd9fd975872a0b20093c67b}, intrahash = {1e2b2027b509f1179b851d4ed073e349}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {247-261}, timestamp = {2020-04-03T11:54:22.000+0200}, title = {Static verification of component composition in contextual composition frameworks.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt10.html#TrofinM08}, volume = 10, year = 2008 }