Ing.

František Ščuglík

Ph.D.

FIT, CK-SZZ – člen pracovní skupiny

scuglik@fit.vut.cz

Odeslat VUT zprávu

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

Ostatní

  • 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.

*) Citace se generují jednou za 24 hodin.