Doctorant ÖZKAN Burcu


Team : REGAL
Invited by : Marc SHAPIRO
Arrival date : 06/10/2013
Departure date : 08/18/2013
http://msrc.ku.edu.tr/people/

Research activity

Verification of concurrent programs