Detail konference

Effective Verification: Static Analysis Meets Program Logics

Seznam událostí

Místo konání

Lorentz Center, Universiteit Leiden

Typ akce

workshop

Druh akce

interní

Termín konání

13.05.2019 - 17.05.2019

Naposledy změnil