Sciweavers

SCESM
2006
ACM

Assert and negate revisited: modal semantics for UML sequence diagrams

13 years 9 months ago
Assert and negate revisited: modal semantics for UML sequence diagrams
David Harel, Shahar Maoz
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where SCESM
Authors David Harel, Shahar Maoz
Comments (0)