ASM Semantic Modeling and Checking for Sequence Diagram.

Xiang Zhou, Zhiqing Shao

Browse the full ICNC paper archive.