John Oakley

Thesis Title: Symbolic Execution of Formal Machine Descriptions
Degree Type: Ph.D. in Computer Science
Advisor(s): Daniel Siewiorek
Graduated: May 1979