Как стать автором
Обновить

Комментарии 1

Правильно я понимаю, что граф состояний получается из анализа спецификаций?
Зарегистрируйтесь на Хабре, чтобы оставить комментарий