Putting Static Analysis to Work for Verification: A Case Study

Вы здесь

Автор:

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

Вид:

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

Год:

2000

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

Стр.:

P.26-38

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

Bibliogr.: p.37-38

Источник:

Номер:

Том:

Карточка:

Б3.54.

Lev-Ami T., Reps T., Sagiv M., Wilhelm R..

Putting Static Analysis to Work for Verification: A Case Study// Software Engineering Notes-2000, №5.-Vol. 25.-P.26-38
Bibliogr.: p.37-38

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

ACM6 446