Вы здесь
A Scalable Architecture for Proof-Carrying Code
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Ключевые слова:
Стр.:
P.21-39
Библиография:
Bibliogr.: p.39
Источник:
Том:
2024
Карточка:
Б2.23.
Necula G. C..
A Scalable Architecture for Proof-Carrying Code// Lecture Notes in Computer Science-2001.-Vol. 2024.-P.21-39
Bibliogr.: p.39
Таблица в старой библиотеке:
PAP22 822