Sep 12, 2017: Wytse Oortwijn: The VerCors Tool Set - Verification of Parallel and Concurrent Software

September 12, 2017The VerCors Tool Set - Verification of Parallel and Concurrent Software
Room: Hal B 2BWytse Oortwijn
12:30-13:30

To be announced.