Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu 0001, Bo Liu 0033. Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy. In 32nd Asia-Pacific Software Engineering Conference, APSEC 2025, Macau, China, December 2-5, 2025. pages 932-936, IEEE, 2025. [doi]
Abstract is missing.