Semantic models for the security of sequential and concurrent programs
Andrei Sabelfeld
Bok Engelsk 2001
| Utgitt | Göteborg : Department of Computing Science, Chalmers University of Technology and Göteborg University , 2001
|
|---|---|
| Omfang | IX, 149 s. : fig.
|
| Opplysninger | Avhandling (fil. dr.) - Chalmers tekniska högskola, 2001
|
| Emner | |
| ISBN | 9162848526
|
