Вы здесь

Главная

On Abstraction in Software Verification

Автор: 
Cousot P.
Cousot R.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Ключевые слова: 
верификация
Стр.: 
P.37-56
Библиография: 
Bibliogr.: p.55-56
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
2404
Карточка: 

Б3.54, Б2.23.

Cousot P., Cousot R..

On Abstraction in Software Verification: Springer// Lecture Notes in Computer Science-2002.-Vol. 2404.-P.37-56
Bibliogr.: p.55-56

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