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:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400