2000. ИСПОЛЬЗОВАНИЕ КОНЕЧНЫХ АВТОМАТОВ ДЛЯ ТЕСТИРОВАНИЯ ПРОГРАММ

И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.
Использование конечных автоматов для тестирования программ.
"Программирование",-2000, №2.- стр.12-28.
15 стр.