Meriem Kherbouche, Bálint Molnár. Formal Model Checking and Transformations of Models Represented in UML with Alloy. In Ajantha Dahanayake, Oscar Pastor 0001, Bernhard Thalheim, editors, Modelling to Program - Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers. Volume 1401 of Communications in Computer and Information Science, pages 127-136, Springer, 2020. [doi]
Abstract is missing.