Zhan Shi, Chenrong Huang, Xiaoqin Zeng, Jiande Zhang, Lei Han 0002, Ying Qian. A Method of UML Sequence Diagram Verification Based on a Graph Grammar. In Yuan Tian 0003, Tinghuai Ma, Muhammad Khurram Khan, editors, Big Data and Security - First International Conference, ICBDS 2019, Nanjing, China, December 20-22, 2019, Revised Selected Papers. Volume 1210 of Communications in Computer and Information Science, pages 340-351, Springer, 2019. [doi]
Abstract is missing.