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