View of An Event-B Approach to the Development of Fork/Join Parallel Programs

Return to Article Details An Event-B Approach to the Development of Fork/Join Parallel Programs Download Download PDF