PENG, J.; WEN, . T.; YANG, Y.; HUANG, G. 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: 14 jun. 2024.