Number of the records: 1

Kroening, Daniel

Personal name	Kroening, Daniel
Biography	Britský informatik. Zabývá se formalními metodami pro konstrukci hardwaru a softwarovými systémy.
Source data found	Jeho: Decision procedures ; LC (Names) (autoritní forma) ; www(osobní stránka) (biografie)
URL	http://www.kroening.com/
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(1) - Books

person

Number of the records: 1