@dblp

A methodology for specifying and analyzing consistency of object-oriented behavioral models.

, , , and . ESEC / SIGSOFT FSE, page 186-195. ACM, (2001)

Links and resources

Tags