First name:
Rachel
Department / Field:
Computer Sciences
Faculty:
the Rachel and Selim Benin School of Computer Science and Engineering
Title:
Verification and Synthesis of Systems With a Rich Structure
Supervisor:
Prof. O. Kupferman
Year of Graduation:
2021