View of Component-based tool for verifying applications using object-oriented patterns

Return to Article Details Component-based tool for verifying applications using object-oriented patterns Download Download PDF