View of Algebraic specifications and refinement for component-based development using RAISE

Return to Article Details Algebraic specifications and refinement for component-based development using RAISE Download Download PDF