Вы здесь
Brackin S. H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Providing Tractable Security Analyses in HOL | 1994 | Brackin S. H. | Lecture Notes in Computer Science | 24.11.1994 | |||
| СТ | Server-Process Restrictiveness in HOL | 1994 | Brackin S. H., Chin S. -K. | Lecture Notes in Computer Science | 21.06.1994 |