Peng, J., Wen, . T., Yang, Y., & Huang, G. (2022). An Event-B Approach to the Development of Fork/Join Parallel Programs. EAI Endorsed Transactions on AI and Robotics, 1, e6. https://doi.org/10.4108/airo.v1i.16