PhD and MSc Theses
PhD and MSc Theses, since 1988
Advisor | PROF. Martin Wechev |
---|---|
No of theses | 1 |
Department | Computer Science |
Department Web Site | www.cs.technion.ac.il |
Student's Name | Graduation Year | Degree | Abstracts | Research Name |
---|---|---|---|---|
Kuperstein Michael | 2012 | MSc | Abstracts | Preserving Correctness Under Relaxed Memory Models |