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.

Bernhard Kragl

Original record
Institution
Institute of Science and Technology Austria
Year
2020
Country
Austria
MGP identifier
335770

Dissertation: Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy