Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko. Cross-Diagram UML Design Verification. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Volume 347 of Communications in Computer and Information Science, pages 165-176, Springer, 2012. [doi]
Abstract is missing.