Computer Science and Engineering

Dissertation Defense

Simulation-Based Hierarchical Synthesis and Verification

Stephen Michael Plaza
SHARE:

Sponsored by

V. Bertacco, I. Markov