Повернутися до подробиць статті
Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі
Завантажити
Завантажити PDF