Verification of Component-Based Software Application Families.

Sun, 01 Jan 2006 00:00:00 +0100

Fei Xie, James C. Browne:
Verification of Component-Based Software Application Families. CBSE 2006: 50-66