Verifying Temporal Heap Properties Specified via Evolution Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2003

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

верификация

программа

Стр.:

P.204-222

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

Bibliogr.: p.221

Источник:

Lecture Notes in Computer Science

Том:

2618

Карточка:

Б2.23.

Yahav E., Reps T., Sagiv M., Wilhelm R..

Verifying Temporal Heap Properties Specified via Evolution Logic// Lecture Notes in Computer Science-2003.-Vol. 2618.-P.204-222
Bibliogr.: p.221

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

PAP26 619