Sprick D.
| |
Библиография книг автора
 |
Ramesh R.
Sprick D.
Model checking trace-based information flow properties
Information flow properties are a way of specifying security properties of systems....
|
Нет в наличии |