Институт системного программирования им. В.П. Иванникова РАН


Система генерации тестовых программ с использованием ограничений ТЕСЛА.

Авторы

Е.В. Корныхин.

Издание

"Ломоносов-2009", стр. 38-39.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации