Вы здесь

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