Semantic Models for the Security of Sequential and Concurrent Programs
University
Göteborgs universitet/University of Gothenburg
Institution
Mathematical and Computing Sciences
Matematik och datavetenskap
Disputation
HC3, Hörsalsv. 16 kl. 10.15
Date of defence
2001-06-08
View/
Date
2001Author
Sabelfeld, Andrei 1972-
Publication type
Doctoral thesis