David Elsey Long

Thesis Title: Model Checking, Abstraction and Compositional Verification
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: August 1993