Verification of Component-Based Software Application Families

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]

Authors

Fei Xie

This author has not been identified. Look up 'Fei Xie' in Google

James C. Browne

This author has not been identified. Look up 'James C. Browne' in Google