Tool Support for Consistency Verification of UML Diagrams.

Salilthip Phuklang, Tomoyuki Yokogawa, Pattara Leelaprute, Kazutami Arimoto

Browse the full PROFES paper archive.