Вы здесь

Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
стр.52-67
Библиография: 
Библиогр.: c.66-67
Номер: 
4
Карточка: 

Б3.54, Б2.33.

Косачев А. С., Куттер Ф., Посыпкин М. А..

Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования// Программирование-2004, №4.-стр.52-67
Библиогр.: c.66-67

Таблица в старой библиотеке: 
PAP29 339