Вы здесь
Abstraction as the Key for Invariant Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.67-99
Библиография:
Bibliogr.: p.96-99
Издательство:
Источник:
Том:
2772
Карточка:
Б2.2.
Bensalem S., Graf S., Lakhnech Y..
Abstraction as the Key for Invariant Verification: Springer// Lecture Notes in Computer Science-2003.-Vol. 2772.-P.67-99
Bibliogr.: p.96-99
Таблица в старой библиотеке:
PAP28 312