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.

Limor Fix

Original record
Institution
Technion-Israel Institute of Technology
Year
1992
Country
Israel
MGP identifier
102919

Dissertation: Semantics Drinen Decompositions for the Verification of

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy