Lorentz Center - Effective Verification: Static Analysis Meets Program Logics from 13 May 2019 through 17 May 2019
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Effective Verification: Static Analysis Meets Program Logics
    from 13 May 2019 through 17 May 2019

 
This workshop has reached its maximum number of participants and the registration therefore is closed.

Due to the overwhelming interest, the lectures of this workshop also are no longer open to non-registered persons.

   [Back]