Ranjit Jhala
Original record- Institution
- University of California, Berkeley
- Year
- 2004
- Country
- United States
- MGP identifier
- 96340
Dissertation: Program Verification by Lazy Abstraction
Advisor 1
- Thomas A. HenzingerStanford University · 1991
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Niki Vazou | University of California, San Diego | 2016 | 0 |