TY - Front. Comput. Sci. A1 - Zhiying LIU, David Lorge PARNAS, Baltasar Trancon y WIDEMANN T1 - Documenting and verifying systems assembled from components Y1 - 2010-06-05 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 151 EP - 161 VL - 4 IS - 2 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-010-0026-2 ER -