Detail projektu
ZISC School on Formal Security
Období řešení: 15. 9. 2003 - 25. 9. 2003
Typ projektu: grant
Agentura: Eidgenössische Technische Hochschule Zürich
Program:
Typ
grant
Řešitelé
Basin David, Prof. Dr.
(ETH)
, hlavní řešitel
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)