Wednesday 1 May 2024 16:00 - 17:30
Speaker : Dylan Janssen
Subject : Design and Implementation of new Features for Runtime Permission Verification in Concurrent Java Programs using VerCors
Date : 1 May 2024
Time : 16.00 hr
Location : Carre 2G