Semantic models for the security of sequential and concurrent programs
Ediciones (1)
- Semantic models for the security of sequential and concurrent programs (2001)
Dept. of Computing Science, Göteburg Univ. · inglés
Dept. of Computing Science, Göteburg Univ. · inglés