First name:
Gal
Department / Field:
Computer Sciences
Faculty:
Rachel and Selim Benin School of Computer Science and Engineering
Title:
Graph-Theoretic Problems from the Viewpoint of Formal Methods
Supervisor:
Prof. O. Kupferman
Year of Graduation:
2020