Detail konference

Kamil Dudka: Automatizovaná formální verifikace v operačních systémech

Seznam událostí

Místo konání

FIT A113 - 13:00

Typ akce

seminář

Druh akce

interní

Termín konání

14.03.2013

Naposledy změnil