Вы здесь

Rezk T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Security Types Preserving Compilation 2004 Barthe G., Basu A., Rezk T. Lecture Notes in Computer Science 11.02.2004