View of Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling

Return to Article Details Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling Download Download PDF