Ing.

František Ščuglík

Ph.D.

člen pracovní skupiny

scuglik@fit.vut.cz
C310 Kancelář
6303/osobní číslo VUT

Ostatní výsledky

2005

Design and development of a library for formal verification: an overview, zpráva odborná, 2005
Autoři: RYŠAVÝ, O.; ŠČUGLÍK, F.