Fence Synthesis Using Happens-before Formulas
Speaker:
Shikhar Pandya
(Visiting Student
School of Technology and Computer Science
Tata Institute of Fundamental Research
Homi Bhabha Road
Navy Nagar
Mumbai 400005)
Organiser:
Ashutosh Gupta
Date:
Wednesday, 27 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)