Журналы
Разделы книг
Статьи по ключевому слову анализ выполнимости
В. В. Никифоров - д.т.н., профессор, вед. научн. сотр. Санкт-Петербургский институт информатики и автоматизации РАН. E-mail: nik@iias.spb.su
В. И. Шкиртиль - к. т. н., доцент, зав. лаб. Санкт-Петербургского института информатики и автоматизации РАН. E-mail: jvatlas@mail.rcom.ru