TY - Computer Engineering and Applications A1 - XIE Xiong,ZHANG Wei-shi T1 - Formal specification of component adaptation and composition Y1 - 2007-07-21 JF - Computer Engineering and Applications JO - Computer Engineering and Applications SP - 36 EP - 39 VL - 43 IS - 21 UR - http://cea.ceaj.org N1 - ER -