Special talk by Kasper Svendsen on Compositional reasoning about concurrent software

Info about event

Time

Monday 24 April 2017,  at 11:00 - 12:00

Location

Nygaard 295