Shmuel Sagiv (Q63434375)
(Redirected from Q102302695)
Israeli computer scientist
- Mooly Sagiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Shmuel Sagiv |
Israeli computer scientist |
|
Statements
1 reference
11 April 1959
1959
1 reference
8 December 2015
1 reference
2015
8 December 2015
For contributions to the theory and practice of automated analysis and verification of software (English)
1 reference
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Shmuel Sagiv