Towards the verification of multi-diagram UML models.

Alfredo Motta

Browse the full ICSE paper archive.