Analysis and Verification of the Interaction Model in Software Design.

Guido Menkhaus, Urs Frei, Jorg Wuthrich

Browse the full ICECCS paper archive.