Tracing Integration Analysis in Component-Based Formal Specifications.

Martín López Nores José J. Pazos Arias Jorge García Duque Ana Belén Barragáns-Martínez Rebeca P. Díaz Redondo Ana Fernández Vilas Alberto Gil-Solla Manuel Ramos Cabrer Tracing Integration Analysis in Component-Based Formal Specifications. 147-162 2005 conf/fmoods/2005 FMOODS http://dx.doi.org/10.1007/11494881_10 db/conf/fmoods/fmoods2005.html#NoresADBDVGC05