John Oakley

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