Special talk by Kasper Svendsen on Compositional reasoning about concurrent software Oplysninger om arrangementet Tidspunkt Mandag 24. april 2017, kl. 11:00 - 12:00 Tilføj til kalender Sted Nygaard 295