Compositional Verification of Secure Applet Interations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2002

Ключевые слова:

верификация

спецификация

композиционный

Стр.:

P.15-32

Библиография:

Bibliogr.: p.29-30

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

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