Finding Bugs with a Constraint Solver | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2000

Ключевые слова:

обнаружение

тестирование

статический

проверка

Стр.:

P.14-25

Библиография:

Bibliogr.: p.24-25

Источник:

Software Engineering Notes

Номер:

5

Том:

25

Карточка:

Б3.54.

Jackson D., Vaziri M..

Finding Bugs with a Constraint Solver// Software Engineering Notes-2000, №5.-Vol. 25.-P.14-25
Bibliogr.: p.24-25

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

ACM6 445