Вы здесь
A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1999
Ключевые слова:
Стр.:
P.173-194.
Библиография:
Bibliogr.: p.193-194
Издательство:
Источник:
Том:
1708
Карточка:
Б2.23, Б3.54.
Kesten Y., Klein A., Pnueli A., Raanan G..
A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software: Springer// Lecture Notes in Computer Science-1999.-Vol. 1708.-P.173-194.
Bibliogr.: p.193-194
Таблица в старой библиотеке:
PAP20 368