Geng, X., Zou, S.- rong, & Yao, J.- yi. (2022). Systematic Transformation Method from UML to Event-B. In (pp. 770–771). Guangzhou, China: IEEE. http://doi.org/10.1109/QRS-C57518.2022.00127 (Original work published 2025)
First name
Ju-yi
Last name
Yao