Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification
Conference proceeding (June 2016)
The most recent citing publication is shown below. View this citation on Dimensions.
Conference proceeding (June 2016)