Greta Yorsh
Original record- Institution
- Tel Aviv University
- Year
- 2007
- Country
- Israel
- MGP identifier
- 237227
Dissertation: Employing Decision Procedures for Verification of Heap-Manipulating Programs
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Alexander Moshe RabinovichTel Aviv University · 1989
- Shmuel SagivTechnion-Israel Institute of Technology · 1991
Students 0
No students recorded in this snapshot.