Cross-Diagram UML Design Verification.

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko

Browse the full ICTERI paper archive.