A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Published in: MODELSWARD (2014)

Keyphrases