Semantic Models for the Security of Sequential and Concurrent Programs

Files

gupea_2077_15299_1.pdf (47.33 KB)

Date

Authors

Sabelfeld, Andrei 1972-

URI

http://hdl.handle.net/2077/15299

Department

Mathematical and Computing Sciences
Matematik och datavetenskap

Defence location

HC3, Hörsalsv. 16 kl. 10.15

Collections

Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet