Statistiky

Návštěvy celkem

	Zobrazení
Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací	1

Počet návštěv za měsíc

Stažení souborů

	Zobrazení
prace.pdf	13

Nejvíce zobrazení ze země

	Zobrazení
Germany	1

Nejvíce zobrazení z města

	Zobrazení
Kiez	1