Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Andrei Sabelfeld

Original record
Institution
Chalmers Tekniska Högskola
Year
2001
Country
Sweden
MGP identifier
270964

Dissertation: Semantic Models for the Security of Sequential and Concurrent Programs

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 1

NameInstitutionYearStudents
Aslan AskarovChalmers Tekniska Högskola20090
Genealogy