Formal Analysis of Sequence Diagram with Combined Fragments.

Hui Shen, Mark Robinson, Jianwei Niu

Browse the full ICSoft paper archive.