Effective Verification: Static Analysis Meets Program Logics

13 - 17 May 2019

Venue: Lorentz Center@Snellius

If you are invited or already registered for this workshop, you have received login details by email.



Follow us on: