Derek Lee Beatty

A Methodology for Formal Hardware Verification, with Applications to Microprocessors Degree Type: Ph.D. in Computer Science
Advisor(s): Randal Bryant
Graduated: December 1993