Semantic Models for the Security of Sequential and Concurrent Programs
| Sabelfeld, Andrei 1972- | en | |
| 2008-08-11T10:13:07Z | ||
| 2008-08-11T10:13:07Z | ||
| 2001 | en | |
| 2001-06-08 | en | |
| HC3, Hörsalsv. 16 kl. 10.15 | en | |
| Mathematical and Computing Sciences | eng | |
| Matematik och datavetenskap | swe | |
| MNF | ||
| 5225 | en | |
| Göteborgs universitet/University of Gothenburg | eng | |
| http://hdl.handle.net/2077/15299 | ||
| Semantic Models for the Security of Sequential and Concurrent Programs | en | |
| Text | en | |
| Doctoral thesis | en |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- gupea_2077_15299_1.pdf
- Size:
- 47.33 KB
- Format:
- Adobe Portable Document Format
- Description:
- Abstract