Вы здесь

Главная

Bounded Model Checking of Pointer Programs

Автор: 
Charatonik W.
Georgieva L.
Maier P.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
model checking
ограниченный
указатель
динамический
распределение памяти
неподвижная точка
логика первого порядка
Стр.: 
P.397-412
Библиография: 
Bibliogr.: p.411-412
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3634
Карточка: 

Б2.1, Б2.2.

Charatonik W., Georgieva L., Maier P..

Bounded Model Checking of Pointer Programs-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3634.-P.397-412-(Lecture Notes in Computer Science).
Bibliogr.: p.411-412

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