Semantic models for the security of sequential and concurrent programs /
Saved in:
OCLC: | 48718506 |
---|---|
Main Author: | |
Corporate Author: | |
Language: | English |
Published: |
Göteborg :
Dept. of Computing Science, Göteburg Univ.,
2001.
|
Subjects: | |
Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |