Number of the records: 1

Strichman, Ofer

Personal name	Strichman, Ofer
Biography	Izraelský informatik. Zabývá se formální verifikací softwaru a hardwaru.
Source data found	Jeho: Decision procedures ; www(The National Library of Israel) (autoritní forma) ; www(osobní stránka) (biografie)
URL	http://ie.technion.ac.il/Home/Users/ofers.phtml
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(1) - Books

person

Number of the records: 1