MYKYTA PUGACH; IRYNA ZARETSKA. Development and implementation of a method for checking the integrity of the design of an object-oriented system. Computer Science and Cybersecurity, n. 1, p. 76-87, 12 Sep. 2024.