Tayfun Elmas
Original record- Institution
- Koç University
- Year
- 2010
- Country
- Turkey
- MGP identifier
- 149137
Dissertation: Techniques for Runtime Monitoring and Static Verification of Concurrent Software
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Shaz QadeerUniversity of California, Berkeley · 1999
- Serdar TasiranUniversity of California, Berkeley · 1998
Students 0
No students recorded in this snapshot.