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