Detail konference

14. mezinárodní konference o verifikaci, model checkingu, a abstraktní interpretaci

Seznam událostí

Místo konání

Řím

Typ akce

konference

Druh akce

celosvětová akce

Termín konání

20.01.2013 - 22.01.2013

URL

http://vmcai13.di.univr.it/Home.html

Naposledy změnil