Ing.

František Ščuglík

Ph.D.

FIT, CM-SFE – Member of Workgroup

scuglik@fit.vut.cz

Send BUT message

Ing. František Ščuglík, Ph.D.

Other

  • 2005

    RYŠAVÝ, O.; ŠČUGLÍK, F. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005. 7 p.

*) Citations are generated once every 24 hours.