URI(s)
Identifies LC/NAF RWO
Identifies RWO
Has Affiliation
- Organization: Ṭekhniyon, Makhon ṭekhnologi le-Yiśraʼel
Associated Locale
- Israel
Field of Activity
Occupation
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Computer aided verification, 1997:t.p. (Orna Grumberg)
- found: Software systems safety, 2014:title page (Orna Grumberg, Computer Science Department, Technion, Haifa, Israel)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1997-07-15: new
- 2015-06-12: revised
Alternate Formats