Computer Science and Engineering
menu MENU

Dissertation Defense

Simulation-Based Hierarchical Synthesis and Verification

Stephen Michael Plaza
SHARE:

Sponsored by

V. Bertacco, I. Markov