Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews