Ing.

František Ščuglík

Ph.D.

Member of Workgroup

scuglik@fit.vut.cz
C310 Office
6303/BUT personal ID

Other Results

2005

Design and development of a library for formal verification: an overview, report, 2005
Authors: RYŠAVÝ, O.; ŠČUGLÍK, F.