Ph.D. Dissertations - Sanjit A. Seshia
Automatic Term-Level Abstraction
Bryan Brady [2011]
Towards Automated System Synthesis Using SCIDUCTION
Susmit Kumar Jha [2011]
Electrical Engineering and Computer Sciences |
||
COLLEGE OF ENGINEERING |
UC Berkeley |
|
|
||||
|
|
||||
|
Information for: Support Services:
Administrative |
||||
|
|