Special talk by Kasper Svendsen on Compositional reasoning about concurrent software

2017.04.24 | Marianne Dammand Iversen

Date Mon 24 Apr
Time 11:00 12:00
Location Nygaard 295
CS frontpage, Featured, Public/media