Вы здесь

Herrmann P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Security Policy Verification of Distributed Component-Structured Software 2003 Herrmann P. Lecture Notes in Computer Science 26.12.2003