Feng Sheng, Huibiao Zhu, Zongyuan Yang. Towards the Mechanized Semantics and Refinement of UML Class Diagrams. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 47-54, IEEE, 2019. [doi]
Abstract is missing.