Detail konference

Rogalewicz Adam: Použití automatu pro verifikaci konečnosti běhu programu

Seznam událostí

Místo konání

FIT A218

Typ akce

seminář

Druh akce

interní

Termín konání

23.10.2008

Naposledy změnil