Вы здесь
A Tool-Assisted Framework for Certified Bytecode Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P.99-113
Библиография:
Bibliogr.: p.112-113
Источник:
Том:
2984
Карточка:
Б3.54.
Barthe G., Dufay G..
A Tool-Assisted Framework for Certified Bytecode Verification// Lecture Notes in Computer Science-2004.-Vol. 2984.-P.99-113
Bibliogr.: p.112-113
Таблица в старой библиотеке:
PAP28 436