Detail konference

18. Mezinárodní konference na téma nástrojů a algoritmů pro konstrukci a analýzu systémů -- TACAS'12

Seznam událostí

Místo konání

Tallinn

Typ akce

konference

Druh akce

celosvětová akce

Termín konání

24.03.2012 - 01.04.2012

URL

http://www.etaps.org/2012/tacas

Naposledy změnil