Detail konference

Patrik Halfar - Použití formálních metod pro zpřesnění RINA specifikace

Seznam událostí

Místo konání

C304, UIFS, FIT

Typ akce

seminář

Druh akce

interní

Termín konání

17.04.2014

Naposledy změnil