Orna Grumberg (Q15995111)
Jump to navigation
Jump to search
Israeli computer scientist
Language | Label | Description | Also known as |
---|---|---|---|
English | Orna Grumberg |
Israeli computer scientist |
Statements
14 May 1952
0 references
1 reference
1 reference
8 December 2015
1 reference
2015
8 December 2015
For contributions to research in automated formal verification of hardware and software systems (English)
1 reference
Identifiers
1 reference
Sitelinks
Wikipedia(6 entries)
- astwiki Orna Grumberg
- dewiki Orna Grumberg
- enwiki Orna Grumberg
- eswiki Orna Grumberg
- euwiki Orna Grumberg
- hewiki ארנה גרימברג