Ranjit Jhala (Q102290712)
Jump to navigation
Jump to search
Ph.D. University of California, Berkeley 2004
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ranjit Jhala |
Ph.D. University of California, Berkeley 2004 |
Statements
19 January 2022
1 reference
2021
19 January 2022
For contributions to software verification (English)
1 reference