Вы здесь
Verifying Temporal Heap Properties Specified via Evolution Logic
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.204-222
Библиография:
Bibliogr.: p.221
Источник:
Том:
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