Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification.

Deshuai Han, Jianchun Xing, Qiliang Yang, Hongda Wang, Xuewei Zhang

Browse the full COMPSAC paper archive.