Document is current

Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram

Crossref DOI link: https://doi.org/10.1007/s13369-015-1999-9

Published Online: 2016-02-16

Published Print: 2016-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy