Semantic Models for the Security of Sequential and Concurrent Programs
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Mathematical and Computing Sciences
Matematik och datavetenskap
Disputation
HC3, Hörsalsv. 16 kl. 10.15
Datum för disputation
2001-06-08
Fil(er)
Datum
2001Författare
Sabelfeld, Andrei 1972-
Publikationstyp
Doctoral thesis