Number of the records: 1  

Strichman, Ofer

  1. Personal nameStrichman, Ofer
    BiographyIzraelský informatik. Zabývá se formální verifikací softwaru a hardwaru.
    Source data foundJeho: Decision procedures ; www(The National Library of Israel) (autoritní forma) ; www(osobní stránka) (biografie)
    URLhttp://ie.technion.ac.il/Home/Users/ofers.phtml
    DatabaseSoubor osobních jmen a jmen rodin (rodů)
    References (1) - Books
    person

    person

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.