\320\232\320\260\321\204\320\265\320\264\321\200\320\260 \302\253\320\242\320\265\321\205\320\275\320\276\320\273\320\276\320\263\320\270\320\270 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\321\217\302\273
Статьи по автоматному программированию, верификации, генетическим алгоритмам. Диссертации, книги, студенческие проекты, публицистика, отзывы.