Login / Signup

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

Gregor EngelsJochen Malte KüsterReiko HeckelLuuk Groenewegen
Published in: ESEC / SIGSOFT FSE (2001)
Keyphrases