Number of the records: 1

Veith, Helmut

Personal name	Veith, Helmut
Biography	Rakouský informatik. Specialista v oblasti verifikace software, ověřování modelů, testování programů. Publikace z oboru.
Source data found	Jeho: 25 years of model checking ; ONB, cit. 4. 4. 2012 (autoritní forma) ; www(FORSYTE - Formal Methods in Systems Engineering), cit. 4. 4. 2012 (biografické údaje)
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(1) - Books

person

Number of the records: 1