1. 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. 2024. № 1. C. 76-87.