MSc Presentation: Runtime Checking of Concurrent Java Programs using Permissions

When: Aug. 24, 2015, 14:00-16:00

Where: Hal B 2E

Who: Stijn Gijsen

To be announced.