Синтез, тестирование, верификация и отладка программ: Тезисы докладов всесоюзной научной конференциисборник

Статьи, опубликованные в сборнике