Гнесюк, Б. А.; Супруненко, О. О. Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. EEJET 2013, 1, 24-27.