Computer Science Department Master Calendar

Back to Listing

Final Exam of Kyungmin Bae

Event Type
Other
Sponsor
Department of Computer Science
Location
2102 Siebel Center
Date
Jun 16, 2014   9:00 am  
Views
57
Originating Calendar
Computer Science PhD Final Exams

Thesis title:  Rewriting-based Model Checking Methods

Thesis committee:
Jose Meseguer, Director/Chair
Gul Agha
Grigore Rosu
Edmund Clarke

link for robots only