Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations

Вы здесь

Автор:

Kremenek T.

Engler D.

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

Вид:

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

Год:

2003

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

статический

анализ

Стр.:

P.295-315

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

Bibliogr.: p.315

Источник:

Lecture Notes in Computer Science

Том:

2694

Карточка:

Б3.5, Б3.2.

Kremenek T., Engler D..

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations// Lecture Notes in Computer Science-2003.-Vol. 2694.-P.295-315
Bibliogr.: p.315

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

PAP27 82