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.

Régis William Blanc

Original record
Institution
Not recorded
Year
2017
Country
Not recorded
MGP identifier
274826

Dissertation: Verification by Reduction to Functional Programs

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy