Detail konference

23rd International Conference on Computer Aided Verification -- CAV 2011

Seznam událostí

Místo konání

Cliff Lodge, Snowbird, Utah

Typ akce

konference

Druh akce

celosvětová akce

Termín konání

14.07.2011 - 20.07.2011

URL

http://www.cs.utah.edu/events/conferences/cav2011/

Naposledy změnil