Detail konference

22nd International Conference on Computer-Aided Verification

Seznam událostí

Místo konání

Edinburgh

Typ akce

konference

Druh akce

celosvětová akce

Termín konání

15.08.2010 - 19.08.2010

URL

http://www.liafa.jussieu.fr/~touili/cav2010/

Naposledy změnil