Detail konference

Ondřej Lengál: Efficient Algorithms for Using Automata in Infinite-State Verification

Seznam událostí

Místo konání

FIT A113 - 13:00

Typ akce

seminář

Druh akce

interní

Termín konání

27.03.2014

Naposledy změnil