View of Proof obligations as a support tool for efficient process management in the production planning and scheduling

Return to Article Details Proof obligations as a support tool for efficient process management in the production planning and scheduling Download Download PDF