Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Christopher Paul Colby

Original record
Institution
Carnegie Mellon University
Year
1996
Country
United States
MGP identifier
50193

Dissertation: Semantics-Based Program Analysis via Symbolic Composition of Transfer Relations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy