Xue Geng, Sheng-rong Zou, Ju-yi Yao. Systematic Transformation Method from UML to Event-B. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 770-771, IEEE, 2022. [doi]
Abstract is missing.