Вы здесь

Compositional Verification of Secure Applet Interations

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.15-32
Библиография: 
Bibliogr.: p.29-30
Издательство: 
Том: 
2306
Карточка: 

Б3.54.

Barthe G., Gurov D., Huisman M..

Compositional Verification of Secure Applet Interations: Springer// Lecture Notes in Computer Science-2002.-Vol. 2306.-P.15-32
Bibliogr.: p.29-30

Таблица в старой библиотеке: 
PAP24 842