BibSLEIGH — cadena stem

Used together with:

Stem cadena$ (all stems)

FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification: Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.