Fei Xie, James C. Browne. Verification of Component-Based Software Application Families. In Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau, editors, Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Volume 4063 of Lecture Notes in Computer Science, pages 50-66, Springer, 2006. [doi]
@inproceedings{XieB06, title = {Verification of Component-Based Software Application Families}, author = {Fei Xie and James C. Browne}, year = {2006}, doi = {10.1007/11783565_4}, url = {http://dx.doi.org/10.1007/11783565_4}, tags = {rule-based, software components, software component, C++}, researchr = {https://researchr.org/publication/XieB06}, cites = {0}, citedby = {0}, pages = {50-66}, booktitle = {Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings}, editor = {Ian Gorton and George T. Heineman and Ivica Crnkovic and Heinz W. Schmidt and Judith A. Stafford and Clemens A. Szyperski and Kurt C. Wallnau}, volume = {4063}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35628-2}, }