PENG, Jie; WEN, Tangliu; YANG, Yiguo; HUANG, Guoming. An Event-B Approach to the Development of Fork/Join Parallel Programs. EAI Endorsed Transactions on AI and Robotics, [S. l.], v. 1, p. e6, 2022. DOI: 10.4108/airo.v1i.16. Disponível em: https://publications.eai.eu/index.php/airo/article/view/16. Acesso em: 1 jan. 2026.