Detail konference

Tomáš Fiedor: Formální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy

Seznam událostí

Místo konání

FIT A112 - 13:00

Typ akce

seminář

Druh akce

interní

Termín konání

02.04.2015

Naposledy změnil